スマリヤンシリーズ

記号論理学 一般化と記号化

【Logical Labyrinths】

A5判 152ページ

CL : 丸善出版

数理論理学 述語論理と完全性定理

【Logical Labyrinths】

A5判 204ページ

不完全性定理【改訳版】

【Gödel’s Incompleteness Theorem】

A5判 192ページ

表紙

カバー