Jump to main content

電子書籍・電子雑誌　図書

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Icons representing 図書

Read via the Internet

Begin reading now

NDL E-Books and E-Journals

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Bibliographic ID of National Diet Library
1000000000751038
Material type
電子書籍・電子雑誌 図書
Author
Buss, S. R.; Girard, J.-Y.; Lachlan, A.ほか
Publisher
Springer-Verlag
Publication date
1996
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Holding issue：

（On： Project Euclid Open Access Journals:Full Text）上記の所蔵情報には、コンテンツ提供元の最新状況が反映されていない場合があります。特定の巻号の閲覧可否はお問い合わせください。The availability of this title on platform databases may have been changed. Please contact us for present information.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
電子書籍・電子雑誌
図書
ISBN
3-540-61434-6
3-662-21963-8
Title
Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings
Author Heading
Buss, S. R.; Girard, J.-Y.; Lachlan, A.
Girard, J.-Y.
Lachlan, A.
Publication, Distribution, etc.
Berlin : Springer-Verlag
Publication Date
1996
Abbreviated Title
GÖDEL '96
Text Language Code
eng
Target Audience
一般
Source
https://resolver.ndl.go.jp/ndl01?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000751038&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.fulltext=yes&