Godel's Proof

Godel's Proof

NYU Press (9780814758168)
The A to Z of Logic: 169

The A to Z of Logic: 169

Scarecrow Press (9780810875968) | Z of Logic
Multi-Criteria Decision Making Methods: A Comparative Study

Multi-Criteria Decision Making Methods: A Comparative Study

Springer (9780792366072) | Multi-Criteria Decision Making Methods, Multi-Criteria Decision
God Created the Integers The Mathematical Breakthroughs That Changed History

God Created the Integers The Mathematical Breakthroughs That Changed History

Brand: Running Press (9780762419227) | God created
The Calculus Gallery: Masterpieces from Newton to Lebesgue

The Calculus Gallery: Masterpieces from Newton to Lebesgue

Princeton University Press (9780691136264)
Basic Proof Theory 2ed: 43

Basic Proof Theory 2ed: 43

Cambridge University Press (9780521779111) | Basic Proof
Computability and Logic Fifth Edition

Computability and Logic Fifth Edition

Cambridge University Press (9780521701464) | Logic Fifth Edition
Principia Mathematica to *56 2ed

Principia Mathematica to *56 2ed

Cambridge University Press (9780521626064) | Principia Mathematica
Set Theory for the Working Mathematician: 39

Set Theory for the Working Mathematician: 39

Cambridge University Press (9780521594653)
The Logic of Provability

The Logic of Provability

Cambridge University Press (9780521483254)
Computational Complexity: A Modern Approach

Computational Complexity: A Modern Approach

Cambridge University Press (9780521424264) | Modern Approach
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
Descriptive Complexity

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity
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
A Farewell to Ice: A Report from the Arctic

A Farewell to Ice: A Report from the Arctic

Oxford University Press, USA (9780190691158) | Five decades, Farewell to Ice, Sea Ice, Melting Ice caps, Summer Ice, Effect nearly
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)
Understanding Mathematical Proof

Understanding Mathematical Proof

Chapman and Hall/CRC (9781466514904)
Origami Polyhedra Design

Origami Polyhedra Design

A K Peters/CRC Press (9781568814582)
Quantitative reasoning thinking in numbers

Quantitative reasoning thinking in numbers

Cambridge University Press (9781108410908)
Opus: Teacher File & CD-ROM 2

Opus: Teacher File & CD-ROM 2

Cambridge University Press (9780521123365) | Computational Logic
The Universal Computer: The Road from Leibniz to Turing, Third Edition

The Universal Computer: The Road from Leibniz to Turing, Third Edition

CRC Press (9781138502086) | Universal Computer
The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

American Mathematical Society (9781470428990) | Tools of Mathematical Reasoning
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