Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
7 Products
7 Products Page
of 1
Proofs and Computations
Proofs and Computations
Helmut Schwichtenberg
Hardback
£79.00
Usually dispatched within 21 days
Logic and Algebra of Specification
Logic and Algebra of Specification
Friedrich L. Bauer
Paperback
£129.99
Print on demand - Usually dispatched within 7-10 days
Logic of Computation
Logic of Computation
Helmut Schwichtenberg
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Proof and Computation
Proof and Computation
Helmut Schwichtenberg
Paperback
£89.99
Print on demand - Usually dispatched within 7-10 days
Handbook of Constructive Mathematics
Handbook of Constructive Mathematics
D. S. Bridges
Hardback
£158
Usually dispatched within 21 days
Computer Science Logic
Computer Science Logic
Helmut Schwichtenberg
Paperback
£89.99
Print on demand - Usually dispatched within 7-10 days
Proof Technology and Computation
Proof Technology and Computation
Helmut Schwichtenberg
Hardback
£94.00
This product is currently unavailable