Cover of The blind spot

An edition of The blind spot (2011)

The blind spot

lectures on logic

By Jean-Yves Girard

0 (0 Ratings)

1 Want to read0 Currently reading0 Have read

1 Want to read0 Currently reading0 Have read

Publish Date

2011

Publisher

European Mathematical Society

Language

eng

Pages

537

Description:

subjects: Proof theory, Logic, Théorie de la preuve, Mathematical logic, Mathematical logic and foundations, Category theory; homological algebra, Computer science