Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)
Introduction to Network Security

Introduction to Network Security

Chapman and Hall/CRC (9781584885436)
Logical Labyrinths

Logical Labyrinths

A K Peters/CRC Press (9781568814438) | Logical Labyrinths
Practical Cryptography: Algorithms and Implementations Using C++

Practical Cryptography: Algorithms and Implementations Using C++

Auerbach Publications (9781482228892) | Practical Cryptography
A Course on Mathematical Logic

A Course on Mathematical Logic

Springer (9781461457459) | Course on Mathematical Logic
Reading, Writing, and Proving: A Closer Look at Mathematics

Reading, Writing, and Proving: A Closer Look at Mathematics

Springer (9781441994783) | Undergraduate Texts in Mathematics
Basic Category Theory: 143

Basic Category Theory: 143

Cambridge University Press (9781107044241) | Basic Category Theory
A Beginner's Guide to Discrete Mathematics

A Beginner's Guide to Discrete Mathematics

Birkhäuser (9780817682859)
The Calculus Gallery: Masterpieces from Newton to Lebesgue

The Calculus Gallery: Masterpieces from Newton to Lebesgue

Princeton University Press (9780691136264)
Computability and Logic Fifth Edition

Computability and Logic Fifth Edition

Cambridge University Press (9780521701464) | Logic Fifth Edition
The Logic of Provability

The Logic of Provability

Cambridge University Press (9780521483254)
Philosophy of Mathematics 2ed: Selected Readings

Philosophy of Mathematics 2ed: Selected Readings

Cambridge University Press (9780521296489) | Philosophy of Mathematics
Philosophical Papers Mathematics v1: Volume 1, Mathematics, Matter and Method: 01

Philosophical Papers Mathematics v1: Volume 1, Mathematics, Matter and Method: 01

Cambridge University Press (9780521295505) | Philosophical Papers, Philosophical Papers Mathematics
Logic For Dummies

Logic For Dummies

Wiley (9780471799412) | Logic For Dummies
Integer and Combinatorial Optimization: 55

Integer and Combinatorial Optimization: 55

Wiley-Interscience (9780471359432) | Integer and Combinatorial Optimization
Classic Set Theory

Classic Set Theory

Chapman and Hall/CRC (9780412606106) | Hall Mathematics
Seduced by Logic: Milie Du Ch Telet, Mary Somerville and the Newtonian Revolution

Seduced by Logic: Milie Du Ch Telet, Mary Somerville and the Newtonian Revolution

Oxford University Press (9780199931613) | Mary Somerville
Meaning in Mathematics

Meaning in Mathematics

OUP Oxford (9780199605057) | Meaning in Mathematics
Intermediate Logic

Intermediate Logic

OUP Oxford (9780198751427) | Intermediate Logic
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Academic Press (9780121703509)
Benford's Law: Theory and Applications

Benford's Law: Theory and Applications

Princeton University Press (9780691147611)
The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

American Mathematical Society (9781470428990) | Tools of Mathematical Reasoning
Mathematics, Ideas and the Physical Real

Mathematics, Ideas and the Physical Real

Continuum (9781441123442) | Contemporary French
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

Cambridge University Press (9780521898850)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

(9780521761444 / Illustrated) | Kurt Godel
The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities

The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities

Brand: The Mathematical Association of America (9780521546775 / 35 b/w illus. 161 exercises) | Guaranteed packaging No quibbles
An Introduction to Probability and Inductive Logic

An Introduction to Probability and Inductive Logic

(9780521775014 / Worked examples or Exercises)
Fiction And Fictionalism

Fiction And Fictionalism

Routledge (9780415774352 / unknown)