Books by (Robert L. Constable
No products found matching the selection.
-20%
Implementing Mathematics with the Nuprl Proof Development System
€16.66
€20.83
-20% with code BOOKS
In stock at our supplier
-20%
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Robert L. Constable, Alexandra Silva
€84.96
€106.20
-20% with code BOOKS
In stock at our supplier