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 |
Browsing AAMUSTED LIBRARY, KUMASI shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
| QA9.A1 .Sm8 2014 A beginner's guide to mathematical logic / | QA9 .M52 2015 Introduction to mathematical logic / | QA9.25 .K82 2016 Basic discrete mathematics : logic, set theory, & probability / | QA9.54 .T14 2013 Proof theory / | QA9.58 .N27 2015 Foundations of algorithms / | QA10.7 .W55 2017 What is a mathematical concept? / | QA11.A1 .Em7 Empowering Mathematics Learners: Yearbook 2017/ |
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.