Logical Methods : The Art of Thinking Abstractly and Mathematically
Roger Antonsen
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£34.99
£26.88
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)
Fuzzy-Logik : Einfuhrung in die algebraischen und logischen Grundlagen
Gert Bohme
Download Now
Format: eBook (PDF)
The Real Numbers : An Introduction to Set Theory and Analysis
John Stillwell
Download Now
Format: eBook (PDF)
The Logical Writings of Karl Popper
David Binder
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£44.99
£33.84
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Locally Presentable and Accessible Categories
J. Adamek
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£87.99
£73.05
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Nonnegative Matrices and Applications
R. B. (Indian Statistical Institute, New Delhi) Bapat
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£129.00
£104.51
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Conditional Reasoning : The Unruly Syntactics, Semantics, Thematics, and Pragmatics of "If"
Raymond Nickerson
Download Now
Format: eBook (EPUB)
Games, Gambling, and Probability : An Introduction to Mathematics
David G. Taylor
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£84.99
£70.75
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Computer Arithmetic and Formal Proofs : Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo
Download Now
Format: eBook (EPUB)
