Passell, Nicholas
Memoirs of a proof theorist : godel and other logicians
- New Jersey: World Scientific Publishing Company, 2003
- xviii, 135 p.; ill., index: 23 cm.
9812382798 (hbk)
Godel, Kurt
Logicians - 20th century, Biography
Logicians-biography
Proof theory
510.92 / YAS