Books by John N. Crossley
No products found matching the selection.
-20%
Adapting Proofs-as-Programs: The Curry--Howard Protocol
John N. Crossley, Iman Poernomo, Martin Wirsing
€203.26
€254.08
-20% with code BOOKS
In stock at our supplier
-20%
Adapting Proofs-As-Programs: The Curry--Howard Protocol
Iman Poernomo, Martin Wirsing, John N Crossley
€255.80
€319.75
-20% with code BOOKS
In stock at our supplier
-20%
What Is Mathematical Logic?
Guillermo Badia, Christopher J. Brickhill, Neil H. Williams, John C. Stillwell, Christopher J. Ash, John N. Crossley
€46.41
€58.01
-20% with code BOOKS
In stock at our supplier