Jump to main content
図書

Proof theory Second edition. (Dover books on mathematics)

Icons representing 図書

Proof theory

Second edition.

(Dover books on mathematics)

Call No. (NDL)
MA41-B46
Bibliographic ID of National Diet Library
029284832
Material type
図書
Author
Gaisi Takeuti.
Publisher
Dover Publications
Publication date
2013.
Material Format
Paper
Capacity, size, etc.
x, 490 pages ; 23 cm.
NDC
-
View All

Detailed bibliographic record

Summary, etc.:

"This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book p...

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.

Paper

Material Type
図書
ISBN
9780486490731 (pbk.)
0486490734 (pbk.)
Author/Editor
Gaisi Takeuti.
Edition
Second edition.
Author Heading
竹内, 外史, 1926-2017 タケウチ, ガイシ, 1926-2017 ( 00080185 )Authorities
Publication Date
2013.
Publication Date (W3CDTF)
2013