Review of "A proof of the completeness theorem of Godel" by (1952)

by Solomon Feferman
Venue:Journal of Symbolic Logic