An Informal Exposition of Proofs of GΓΆde
β
Barkley Rosser
π
Article
π
1939
π
Association for Symbolic Logic
π
English
β 771 KB