Proof theory / Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign.
Material type:
TextSeries: Dover books on mathematicsPublisher: Mineola, New York : Dover Publications, 2013Edition: 2nd edDescription: x, 490 pages ; 23 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 9780486490731 (pbk.); 0486490734 (pbk.)Subject(s): Proof theory | MATHEMATICS / LogicDDC classification: 511.3/6 LOC classification: QA9.54 | .T14 2013Other classification: MAT018000 Summary: "This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"-- Provided by publisher.Other editions: Reprint of (manifestation):: Takeuti, Gaisi, 1926- Proof theory
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
AAMUSTED Books
|
AAMUSTED LIBRARY, KUMASI Reference | QA9.54 .T14 2013 (Browse shelf(Opens below)) | 1 | Available (Restricted Access) | 0000000357 | |
|
AAMUSTED Books
|
AAMUSTED LIBRARY, KUMASI Reserve Book Shelf | QA9.54 .T14 2013 (Browse shelf(Opens below)) | 2 | Available (Restricted Access) | 0000001154 |
Includes bibliographical references and index.
"This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"-- Provided by publisher.
There are no comments on this title.