Children's Books - Education & Reference

Memoirs of a Proof Theorist Gödel and Other Logicians Gaisi Takeuti