Ordinals and functionals in proof theory

by Solomon Feferman · 1 review · 1975

Reviewed by	Journal	Date	Access
Georg Kreisel	The Journal of Symbolic Logic	1975	Restricted

Metaphysics & Logic

Also by Feferman

Alfred Tarski: Life and Logic (8 reviews)
Kurt Gödel: Collected Works, Volume IV: Correspondence A-G (5 reviews)
Kurt Gödel: Collected Works, Volume V: Correspondence H-Z (5 reviews)
In the Light of Logic (3 reviews)
Alfred Tarski. Life and Logic Anita Burdman Feferman y Salomón Feferman (1 review)
Collected Works of Kurt Gödel: Volume 1 (1 review)
From Trotsky to Gödel. The Life of Jean van Heijenoort (1 review)
Kurt Gödel for His Centennial (1 review)

Search PhilReviews for this title