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

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.