TY - BOOK AU - Yasugi Mariko Et Al TI - Memoirs of a Proof Theorist: Godel and Other Logicians SN - 9789812795359 PB - World Scientific KW - Mathematics UR - https://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc ER -