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

By:

Takeuti, Gaisi

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

9780486490731
0486490734

Subject(s):

DDC classification:

511.36

LOC classification:

QA9.54

Other classification:

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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)

Previous	No cover image available				No cover image available		No cover image available	Next
Previous	511.35-IVA Algebraic Recursion Theory	511.36-BIM Proof theory : Sequent calculi and related formalisms	511.36-LAK Proofs and refutations : The logic of mathematical discovery	511.36-TAK Proof theory	511.3-AGE Logique, ensembles, catégories : le point de vue constructif	511.3-AND An introduction to mathematical logic and type theory : To truth through proof	511.3-AND Automata Theory with Modern Applications	Next

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.

to post a comment.