LEADER 00969cam a22002415a 4500001    9937170773506421
005    20240815101422.0
008    020729s1961    njua     b    000 0 eng d
035    (NjP)3717077-princetondb
035    (OCoLC)on1340510400
035     |z(NjP)Voyager3717077
035     |z(NjP)Voyager3717077
040    NjP |beng |cNjP
100 1  Boolos, George Stephen.
245 12 A simple proof of Gödel's first incompleteness theorem / |cGeorge Stephen Boolos.
260    Princeton, NJ : |bDepartment of Mathematics, |c1961.
300    [2], 38, [1] leaves : |c29 cm.
502     |bSenior |cPrinceton University |d1961
504    Includes bibliographic references (leaf [41]).
590    Advisor: Raymond Smullyan.
655  7 Academic dissertations.
710 2  Princeton University. |bDepartment of Mathematics. |0http://id.loc.gov/authorities/names/nr89005568
914    (OCoLC)on1340510400 |bOCoLC |ccreate |d20221117 |eprocessed |f1340510400