All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
On special
Brand
Cambridge UniversityPress
Kluwer Academic Publishers
Springer-Verlag
Springer-Verlag New York
World Scientific Publishing Co Pte Ltd
Filter Results
Showing 14 of 14 Results in All Departments
Relevance
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification (Hardcover)
R
4,018
Add to Cart
Ships in 10 - 15 working days
Logic of Computation (Hardcover)
R
2,581
Add to Cart
Ships in 12 - 17 working days
Computational Logic (Hardcover, 1999. 2nd Print)
R
4,647
Add to Cart
Ships in 12 - 17 working days
Logic and Algebra of Specification (Hardcover, 1993 ed.)
R
4,645
Add to Cart
Ships in 12 - 17 working days
Proof and System-Reliability (Hardcover)
R
3,030
Add to Cart
Ships in 12 - 17 working days
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy (Hardcover)
R
2,978
Add to Cart
Ships in 10 - 15 working days
SAVE
R
833
Handbook of Constructive Mathematics (Hardcover)
List Price
R
5,260
R
4,427
Add to Cart
Ships in 12 - 17 working days
Logic and Algebra of Specification (Paperback, Softcover reprint of the original 1st ed. 1993)
R
4,626
Add to Cart
Ships in 10 - 15 working days
Logic of Computation (Paperback, Softcover reprint of the original 1st ed. 1997)
R
1,618
Add to Cart
Ships in 10 - 15 working days
Computational Logic (Paperback, Softcover reprint of the original 1st ed. 1999)
R
4,609
Add to Cart
Ships in 10 - 15 working days
Proof and Computation (Paperback, Softcover reprint of the original 1st ed. 1995)
R
3,063
Add to Cart
Ships in 10 - 15 working days
Proof and System-Reliability (Paperback, Softcover reprint of the original 1st ed. 2002)
R
1,764
Add to Cart
Ships in 10 - 15 working days
Computer Science Logic - 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Paperback, 2000 ed.)
R
3,272
Add to Cart
Ships in 10 - 15 working days
Proofs and Computations (Hardcover)
Helmut Schwichtenberg
,
Stanley S. Wainer
R
2,189
Add to Cart
Ships in 12 - 17 working days