Showing 96 - 120 (of 618)
Refine
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
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
Proof Complexity - Book

Proof Complexity

Jan (Charles University, Prague) Krajicek

Format: Book (Hardback)

£135.00

£109.85

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
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance - Book

DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance

Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya

Format: Book (Hardback)

£94.99

£78.42

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
Fuzzy Logic and Mathematics : A Historical Perspective - Book

Fuzzy Logic and Mathematics : A Historical Perspective

Radim (Professor of Computer Science, Professor of Compute Belohlavek

Format: Book (Hardback)

£110.00

£100.32

Book (Hardback)

Add to Basket
Conditional Reasoning : The Unruly Syntactics, Semantics, Thematics, and Pragmatics of "If" - Book

£105.00

£104.68

Book (Hardback)

Add to Basket
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method - Book

Consequence Relations : An Introduction to the Lindenbaum-Tarski Method

Alex (CIO, CIO, Metropolitan Telecommunications, New York) Citkin

Format: Book (Hardback)

£71.00

£66.73

Book (Hardback)

Add to Basket
Fragments of First-Order Logic - Book

Fragments of First-Order Logic

Ian (Senior Lecturer, University of Manchester Profess Pratt-Hartmann

Format: Book (Hardback)

£120.00

£109.67

Book (Hardback)

Add to Basket
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs - Book

£87.00

£80.51

Book (Hardback)

Add to Basket
Kurt Godel: Collected Works: Volume I : Publications 1929-1936 - Book

Kurt Godel: Collected Works: Volume I : Publications 1929-1936

Kurt Godel

Format: Book (Hardback)

£265.41

Book (Hardback)

Add to Basket
Kurt Godel: Collected Works: Volume II : Publications 1938-1974 - Book

Kurt Godel: Collected Works: Volume II : Publications 1938-1974

Kurt Godel

Format: Book (Hardback)

£265.41

Book (Hardback)

Add to Basket
Introduction to Logic and to the Methodology of Deductive Sciences - Book

Introduction to Logic and to the Methodology of Deductive Sciences

The late Alfred Tarski

Format: Book (Hardback)

£130.00

£129.02

Book (Hardback)

Add to Basket
Multidimensional Programming - Book

Multidimensional Programming

E. A. (Professor, Department of Computer Science, Professor, Ashcroft

Format: Book (Hardback)

£82.03

Book (Hardback)

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