Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel

by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn · 1 review · 1972

Reviewed by Journal Date Access
G. Kreisel The Journal of Symbolic Logic 1972 Restricted

Metaphysics & Logic

Also by Hahn

Search PhilReviews for this title