کتاب Memoirs of a Proof Theorist اثر Nicholas Passell and Mariko Yasugi انتشارات World Scientific Publishing Company

Memoirs of a Proof Theorist: Godel and Other Logicians (خاطرات یک نظریه‌پرداز اثبات: گودل و سایر منطق‌دانان) (اثر نیکلاس پسل، ماریکو یاسوگی (نیکلاس پسل، ماریکو یاسوگی))_ این کتاب خاطرات و تجربیات نیکلاس پسل، منطق‌دان و فیلسوف ، درباره همکاری با گودل و سایر منطق‌دانان بزرگ در دهه‌های 1950 و 1960 را شرح می‌دهد. پسل به تفصیل به بحث و گفتگوهای علمی خود با گودل، تورینگ، کواین و دیگران درباره منطق، مبانی ریاضیات و فلسفه می‌پردازد. این کتاب که در سال 2015 منتشر شده، نگاهی درونی و شخصی به زندگی علمی این منطق‌دانان ارائه می‌دهد و برای علاقه‌مندان به تاریخ و فلسفه ریاضیات جذاب است.