Raamatud John N. Crossley
Adapting Proofs-as-Programs: The Curry--Howard Protocol
John N. Crossley, Iman Poernomo, Martin Wirsing
-30% koodiga BOOKS
Meie tarnija laos
Adapting Proofs-As-Programs: The Curry--Howard Protocol
Iman Poernomo, Martin Wirsing, John N Crossley
-30% koodiga BOOKS
Meie tarnija laos
What Is Mathematical Logic?
Guillermo Badia, Christopher J. Brickhill, Neil H. Williams, John C. Stillwell, Christopher J. Ash, John N. Crossley
-30% koodiga BOOKS
Meie tarnija laos