by John N. Crossley
No reviews yet. Be the first!
Adapting Proofs-as-Programs
Logical methods
Growing ideas of number
Logical Methods, In Honour of Anil Nerod...
What Is Mathematical Logic?
Constructive order types
Algebraic Computability and Enumeration ...
Categories
Functor analysis of natural language
Functorial knot theory
Kategorien und Funktoren
Combinatorial Functors