Completeness results for formal systems

by E. W. Beth · 1 review · 1962

Reviewed by	Journal	Date	Access
Dana Scott	The Journal of Symbolic Logic	1962	Restricted

Metaphysics & Logic

Also by Beth

Aspects of Modern Logic (2 reviews)
Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic (2 reviews)
Las Paradojas de la Logica (2 reviews)
The foundations of mathematics. A study in the philosophy of science (2 reviews)
Implication, formalisation et logique naturelle. Etudes d'Epistémologie Génétique XVI B. W. Beth J. B. Grize R. Martin B. Matalon A. Naess J. Piaget (1 review)
La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript (1 review)
Le paradoxe du “sorite” d'Eubulide de Mégare (1 review)
Les fondements logiques des mathématiques. Deuxième édition revue et augmentée (1 review)

Search PhilReviews for this title