Showing 72 - 96 (of 196)
Refine
The Description Logic Handbook : Theory, Implementation and Applications - Book

The Description Logic Handbook : Theory, Implementation and Applications

Franz (Technische Universitat, Dresden) Baader

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
Subsystems of Second Order Arithmetic - Book

Subsystems of Second Order Arithmetic

Stephen G. (Pennsylvania State University) Simpson

Format: Book (Paperback / softback)

£47.99

£41.65

Book (Paperback / softback)

Add to Basket
Theories of Computability - Book

Theories of Computability

Nicholas (University of British Columbia, Vancouver) Pippenger

Format: Book (Paperback / softback)

£42.99

£37.81

Book (Paperback / softback)

Add to Basket
Forcing with Random Variables and Proof Complexity - Book

Forcing with Random Variables and Proof Complexity

Jan (Charles University, Prague) Krajicek

Format: Book (Paperback / softback)

£53.99

£45.45

Book (Paperback / softback)

Add to Basket
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Book

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

George (York University, Toronto) Tourlakis

Format: Book (Paperback / softback)

£47.99

£41.65

Book (Paperback / softback)

Add to Basket
Oligomorphic Permutation Groups - Book

Oligomorphic Permutation Groups

Peter J. (Queen Mary University of London) Cameron

Format: Book (Paperback / softback)

£42.99

£37.81

Book (Paperback / softback)

Add to Basket
Computability, Enumerability, Unsolvability : Directions in Recursion Theory - Book

Computability, Enumerability, Unsolvability : Directions in Recursion Theory

S. B. (University of Leeds) Cooper

Format: Book (Paperback / softback)

£50.99

£43.95

Book (Paperback / softback)

Add to Basket
Metamathematics, Machines and Godel's Proof - Book

Metamathematics, Machines and Godel's Proof

N. (SRI International, USA) Shankar

Format: Book (Paperback / softback)

£42.99

£37.02

Book (Paperback / softback)

Add to Basket
Model Theory of Groups and Automorphism Groups - Book

Model Theory of Groups and Automorphism Groups

David M. (University of East Anglia) Evans

Format: Book (Paperback / softback)

£50.99

£43.95

Book (Paperback / softback)

Add to Basket
Automata Theory with Modern Applications - Book

Automata Theory with Modern Applications

James A. (University of South Carolina) Anderson

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
Algorithmic Information Theory - Book

Algorithmic Information Theory

Gregory. J. Chaitin

Format: Book (Paperback / softback)

£47.99

£40.85

Book (Paperback / softback)

Add to Basket
Hilbert's Programs and Beyond - Book

Hilbert's Programs and Beyond

Wilfried (Patrick Suppes Professor of Philosophy, Patrick Suppes Sieg

Format: Book (Paperback / softback)

£37.22

Book (Paperback / softback)

Add to Basket
Elementary Logic - Book

Elementary Logic

Benson Mates

Format: Book (Hardback)

£49.99

£45.41

Book (Hardback)

Unavailable
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs - Book

The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs

Antonella (Associate Professor of Mathematics, Pennsylvania Cupillari

Format: Book (Paperback / softback)

£45.95

£39.00

Book (Paperback / softback)

Add to Basket
Cryptocurrencies : A Primer on Digital Money - Book

Cryptocurrencies : A Primer on Digital Money

Mark Grabowski

Format: Book (Hardback)

£49.99

£42.38

Book (Hardback)

Add to Basket
Mathematics of Casino Carnival Games - Book

Mathematics of Casino Carnival Games

Mark Bollman

Format: Book (Paperback / softback)

£54.99

£47.01

Book (Paperback / softback)

Add to Basket
Blockchain, Big Data and Machine Learning : Trends and Applications - Book

Blockchain, Big Data and Machine Learning : Trends and Applications

Neeraj Kumar

Format: Book (Paperback / softback)

£54.99

£47.01

Book (Paperback / softback)

Add to Basket
Practical Cryptography : Algorithms and Implementations Using C++ - Book

Practical Cryptography : Algorithms and Implementations Using C++

Saiful Azad

Format: Book (Paperback / softback)

£56.99

£48.55

Book (Paperback / softback)

Add to Basket
Understanding and Applying Cryptography and Data Security - Book

Understanding and Applying Cryptography and Data Security

Adam J. Elbirt

Format: Book (Paperback / softback)

£56.99

£48.55

Book (Paperback / softback)

Add to Basket
Data-driven Block Ciphers for Fast Telecommunication Systems - Book

Data-driven Block Ciphers for Fast Telecommunication Systems

Nikolai Moldovyan

Format: Book (Paperback / softback)

£56.99

£48.55

Book (Paperback / softback)

Add to Basket
The Equation of Knowledge : From Bayes' Rule to a Unified Philosophy of Science - Book

The Equation of Knowledge : From Bayes' Rule to a Unified Philosophy of Science

Le Nguyen Hoang

Format: Book (Hardback)

£54.99

£47.01

Book (Hardback)

Add to Basket
Multimedia Encryption and Authentication Techniques and Applications - Book

Multimedia Encryption and Authentication Techniques and Applications

Borko Furht

Format: Book (Paperback / softback)

£56.99

£48.55

Book (Paperback / softback)

Add to Basket
Multimedia Watermarking Techniques and Applications - Book

Multimedia Watermarking Techniques and Applications

Darko Kirovski

Format: Book (Paperback / softback)

£56.99

£48.55

Book (Paperback / softback)

Add to Basket
Logic Works : A Rigorous Introduction to Formal Logic - Book

Logic Works : A Rigorous Introduction to Formal Logic

Lorne (Western University, Canada) Falkenstein

Format: Book (Paperback / softback)

£49.99

£43.18

Book (Paperback / softback)

Add to Basket
Showing 72 - 96 (of 196)
Refine