by Bryan O'Sullivan
|
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics) by Robert Goldblatt |
The Haskell Road to Logic, Maths and Programming (Texts in Computing) by Kees Doets |
by Chris Okasaki
|
by Benjamin C. Pierce
|















