Proof Theory (Dover Books on MaTHEMA 1.4tics) - Softcover

Takeuti, Takeuti; Dubnov, YA S

 
9780486490731: Proof Theory (Dover Books on MaTHEMA 1.4tics)
Softcover
ISBN 10: 0486490734 ISBN 13: 9780486490731
Publisher: Dover Publications Inc, 2013

Synopsis

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.
Reprint of the North Holland, Amsterdam, 1987 edition.

"synopsis" may belong to another edition of this title.

About the Author

Gaisi Takeuti is Professor Emeritus of Mathematics at the University of Illinois at Urbana-Champaign.

"About this title" may belong to another edition of this title.

Publisher
Dover Publications Inc
Publication date
2013
Language
English
ISBN 10 
0486490734
ISBN 13 
9780486490731
Binding
Paperback
Edition number
2
Number of pages
384