LEADER 00687cam a22002171  4500001    9929682863506421
005    20200824143845.0
008    000515s1959    xx       b    000 0 eng d
035     |9CPL3908TS
035    (NjP)2968286-princetondb
035     |z(NjP)Voyager2968286
100 1  Smullyan, Raymond Merrill, |d1919-
245 10 Theory of formal systems.
260     |c1959.
300    1 v. ; |c28cm.
500    Advisor(s): Alonzo Church.
502     |bPh.D. |cPrinceton University |d1959
500    Abstract: leaves i-iii.
504    Includes bibliographical references 2 leaves at end.
710 2  Princeton University. |bDepartment of Mathematics. |0http://id.loc.gov/authorities/names/nr89005568
911    20000515
948    con/ldb