Logique combinatoire et λ-conversion

by J. Barkley Rosser · 1 review · 1957

Reviewed by	Journal	Date	Access
Frederic B. Fitch	The Journal of Symbolic Logic	1957	Restricted

Metaphysics & Logic

Also by Rosser

Les Mathématiques et la Réalité. Ferdinand Gonseth (1 review)
Logic for mathematicians (1 review)
Simplified independence proofs. Boolean valued models of set theory (1 review)
The Miraculous Image in Renaissance Florence (1 review)
The relative strength of Zermelo's set theory and Quine's New Foundations (1 review)

Search PhilReviews for this title