真理・証明・計算 : 論理と機械

真理・証明・計算 : 論理と機械

シンリ ショウメイ ケイサン : ロンリ ト キカイ

内井惣七著

京都 : ミネルヴァ書房, 1989.4

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-U16

10011010873

一般図書

詳細情報

刊年

1989

形態

viii, 197p ; 21cm

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

内井, 惣七(1943-) (ウチイ, ソウシチ) [ Uchii, Soshichi ] [ Utii, Sositi ]

分類

NDC8:116

NDC8:410.96

NDLC:MA41

件名

論理学

記号論理学

ISBN

4623018849

NCID

BN03413567

番号

NBN : JP89040406

JLA : 89012625