数理論理学とタイプ理論 : 証明による真理へ

著者

Andrews, Peter Bruce, 1937-、小川原, 倫子

出版社

丸善

発売日

1987年12月（発売日は月までの情報で、日付は未確定です。）

発売日の出典

openBD

価格

5,800円（税込・書誌情報提供：openBD）

ISBN

9784621032244

発売済み