Împreună cu celebra D.Hilbert/P.Bernays, Grundlagen der Mathematik (Fundamentele Matematicii), volumul de față, D.Hilbert/W.Ackermann, Principiile Logicii Matematice, reprezintă un punct de referință în investigațiile fundamentale din domeniul logico-matematic, cu un impact considerabil asupra rezultatelor de astăzi. Toate problemele cheie ale logicii de ordinul întâi (calculul propozițional, calculul clasial, calculul restrâns al predicatelor), la care se adaugă un capitol despre calculul extins al predicatelor, sunt exemplar elaborate într-un dublu registru; sintactic si s[...]

A comprehensive and impressive book! All the fundamental results of First-order Logic (Propositional Logic and Predicate Logic), its extension in Peano Arithmetic Axiomatized (PAax) and, finally, a modal analysis of the idea of provability in PAax are subject of a detailed analysis. The whole theoretical developments are both syntactical and semantic, exposed in a variety of theorems, proved in a variety of forms. The Chapter 3, Formal[...]