Scan barcode
—
Jean-Yves Girard
550 pages • first pub 2011 (editions)
ISBN/UID: 9783037190883
Format: Hardcover
Language: English
Publisher: European Mathematical Society
Publication date: Not specified
Description
These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, ...
Community Reviews
Content Warnings
—
Jean-Yves Girard
550 pages • first pub 2011 (editions)
ISBN/UID: 9783037190883
Format: Hardcover
Language: English
Publisher: European Mathematical Society
Publication date: Not specified
Description
These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, ...