真理・証明・計算

• タイトルヨミ: シンリショウメイケイサン
• サブタイトル: 論理と機械
• サブタイトルヨミ: ロンリトキカイ
• 著編者等／著者名等: 内井惣七‖著
• 統一著者名: 内井惣七
• 著編者等ヨミ／著者名等ヨミ: ウチイソウシチ
• 出版者: ミネルヴァ書房
• 出版地: 京都
• 出版年: 1989.4
• 大きさ: 197p
• 件名: 論理学
• 分類: 116,116 116
• ISBN: 4-623-01884-9
• マークNo: TRC89012625
• タイトルコード: 1005010201240
• 資料番号: 000099929
• 請求記号: 116/36
• 種別: 図書
• 配架場所: 034E0