Showing 96 - 120 (of 618)
Refine
Discovering Modern Set Theory, Part 1 : The Basics - Book

Discovering Modern Set Theory, Part 1 : The Basics

Format: Book (Hardback)

£87.00

£82.78

Book (Hardback)

Add to Basket
Mathematical Logic - Book

Mathematical Logic

George (York University, Toronto, Canada) Tourlakis

Format: Book (Hardback)

£113.95

£89.15

Book (Hardback)

Add to Basket
Categories for Types - Book

Categories for Types

Roy L. (Imperial College of Science, Technology and Medicine, L Crole

Format: Book (Paperback / softback)

£62.99

£53.59

Book (Paperback / softback)

Add to Basket
Basic Simple Type Theory - Book

Basic Simple Type Theory

J. Roger (University of Wales, Swansea) Hindley

Format: Book (Hardback)

£96.99

£79.66

Book (Hardback)

Add to Basket
Models and Games - Book

Models and Games

Jouko Vaananen

Format: Book (Hardback)

£64.99

£55.12

Book (Hardback)

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 (Hardback)

£106.00

£86.87

Book (Hardback)

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

Lectures in Logic and Set Theory: Volume 2, Set Theory

George (York University, Toronto) Tourlakis

Format: Book (Hardback)

£159.00

£128.25

Book (Hardback)

Add to Basket
Proof Complexity - Book

Proof Complexity

Jan (Charles University, Prague) Krajicek

Format: Book (Hardback)

£135.00

£109.85

Book (Hardback)

Add to Basket
Secret History : The Story of Cryptology - Book

Secret History : The Story of Cryptology

Craig (York College of Pennsylvania, Physical Sciences Departme Bauer

Format: Book (Hardback)

£76.99

£64.62

Book (Hardback)

Add to Basket
Pearls of Discrete Mathematics - Book

Pearls of Discrete Mathematics

Martin Erickson

Format: Book (Paperback / softback)

£61.99

£52.53

Book (Paperback / softback)

Add to Basket
Introduction to Cryptography with Open-Source Software - Book

Introduction to Cryptography with Open-Source Software

Alasdair McAndrew

Format: Book (Hardback)

£84.99

£70.75

Book (Hardback)

Add to Basket
RC4 Stream Cipher and Its Variants - Book

RC4 Stream Cipher and Its Variants

Goutam Paul

Format: Book (Hardback)

£175.00

£140.73

Book (Hardback)

Add to Basket
Introduction to Computer and Network Security : Navigating Shades of Gray - Book

Introduction to Computer and Network Security : Navigating Shades of Gray

Richard R. (Clemson University, South Carolina, USA) Brooks

Format: Book (Hardback)

£82.99

£69.43

Book (Hardback)

Add to Basket
Handbook of Finite Fields - Book

Handbook of Finite Fields

Gary L. Mullen

Format: Book (Hardback)

£215.00

£180.67

Book (Hardback)

Add to Basket
Introduction to Model Theory - Book

Introduction to Model Theory

Philipp Rothmaler

Format: Book (Paperback / softback)

£76.99

£64.62

Book (Paperback / softback)

Add to Basket
A Mathematical Introduction to Logic - Book

£84.99

£67.39

Book (Hardback)

Unavailable
Calculus for Engineering Students : Fundamentals, Real Problems, and Computers - Book

Calculus for Engineering Students : Fundamentals, Real Problems, and Computers

Jesus Martin (University of Salamanca, Spain) Vaquero

Format: Book (Paperback / softback)

£76.95

£63.00

Book (Paperback / softback)

Add to Basket
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems - Book

£172.96

Book (Hardback)

Add to Basket
Mathematical Logic: Part 2 : Recursion Theory, Godel's Theorems, Set Theory, Model Theory - Book

Mathematical Logic: Part 2 : Recursion Theory, Godel's Theorems, Set Theory, Model Theory

Rene (, Universite Paris VII) Cori

Format: Book (Hardback)

£167.93

Book (Hardback)

Add to Basket
Kurt Godel: Collected Works: Volume IV : Selected Correspondence, A-G - Book

Kurt Godel: Collected Works: Volume IV : Selected Correspondence, A-G

Kurt Godel

Format: Book (Hardback)

£260.44

Book (Hardback)

Add to Basket
Kurt Godel: Collected Works: Volume V : Correspondence, H-Z - Book

Kurt Godel: Collected Works: Volume V : Correspondence, H-Z

Kurt Godel

Format: Book (Hardback)

£290.43

Book (Hardback)

Add to Basket
Twenty Five Years of Constructive Type Theory - Book

Twenty Five Years of Constructive Type Theory

Giovanni (Professor of Mathematical Logic, Professor of Mathem Sambin

Format: Book (Hardback)

£97.13

Book (Hardback)

Add to Basket
Change, Choice and Inference : A study of Belief Revision and Nonmonotonic Reasoning - Book

£195.46

Book (Hardback)

Add to Basket
Fibring Logics - Book

Fibring Logics

Dov M. (Professor of Computer Science, Professor of Computer S Gabbay

Format: Book (Hardback)

£120.00

£119.58

Book (Hardback)

Add to Basket
Showing 96 - 120 (of 618)
Refine