Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Name: Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Author: Evert W. Beth

by Evert W. Beth · 2 reviews · 1965–1966

Reviewed by	Journal	Date	Access
Alan Rose	Philosophy of Science	1966-03-01	Restricted
Leon Henkin	The Journal of Symbolic Logic	1965	Restricted

Philosophy of Science Metaphysics & Logic

Also by Beth

Aspects of Modern Logic (2 reviews)
Las Paradojas de la Logica (2 reviews)
The foundations of mathematics. A study in the philosophy of science (2 reviews)
Completeness results for formal systems (1 review)
Implication, formalisation et logique naturelle. Etudes d'Epistémologie Génétique XVI (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