# Proof theory Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign.

Series: Dover books on mathematicsPublication details: Mineola, New York: Dover Publications, 2013Edition: Second editionDescription: x, 490 p. ; 23 cmISBN:- 9780486490731
- 0486490734

- 511.36

- QA9.54

Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|

Carti | IMAR | 511.36-TAK (Browse shelf(Opens below)) | 1 | Available | 0036404 |

##### Browsing IMAR shelves Close shelf browser (Hides shelf browser)

eng

Postscript p. 381

Anexe p. 393

Index p. 487

"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"--

There are no comments on this title.