The blind spot
The blind spot
Jean-Yves Girard
Details
OL Work ID
OL16958542W
Subjects
Proof theory
Logic
Théorie de la preuve
Mathematical logic
Mathematical logic and foundations
Category theory; homological algebra
Computer science
Find this book
Hardcover
Open Library