HN books

Shelf

Topic

Reading goal

Author

Niche

Sort

2 books

Proofs and Types

Jean-Yves Girard, Yves Lafont, and Paul Taylor
1 reader · Computing, Mathematics

The Blind Spot: Lectures on Logic

Jean-Yves Girard
1 reader · Mathematics, Philosophy, Computing