Metamathematics, machines, and Gödel's proof, : pbk

Metamathematics, machines, and Gödel's proof, : pbk

N. Shankar

Cambridge : Cambridge University Press, 1997

図書等

巻号情報

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

1

410.1-Sh12

10005023595

一般図書

詳細情報

刊年

1997

形態

xv, 202 p. : ill. ; 25 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 38

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Shankar, N. [ Shankar, Natarajan ]

分類

DC20:511.3

DC20:511.3/0285/53

件名

Gödel's theorem -- Data processing

Automatic theorem proving

ISBN

0521585333 (: pbk)

NCID

BA31243780