真理・証明・計算論理と機械著者：内井惣七 出版社：ミネルヴァ書房 発行年：1993年第5刷状態：B カバースレあり。小口若干経年。20120202008Bコメントを残す コメントをキャンセルコメントコメントする名前またはユーザー名を入力してくださいメールアドレスを入力してコメントWeb サイトの URL を入力してください。(任意) 次回のコメントで使用するためブラウザーに自分の名前、メールアドレス、サイトを保存する。