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
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
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)
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
An Introduction to Probability and Inductive Logic

An Introduction to Probability and Inductive Logic

(9780521775014 / Worked examples or Exercises)
Modal Logic: 53

Modal Logic: 53

(9780521527149 / 20 b/w illus.) | Modal Logic
Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures and Proofs

(9781461442646 / 19221905) | Real and complex
Proofs and Fundamentals: A First Course in Abstract Mathematics

Proofs and Fundamentals: A First Course in Abstract Mathematics

Springer-Verlag New York Inc. (9781461428107 / XXVI, 358 p.) | Rigorous mathematical, Fundamental mathematical
Intro to Computer Theory 2e

Intro to Computer Theory 2e

Wiley (9780471137726 / Illustrations)
The Arrow Impossibility Theorem

The Arrow Impossibility Theorem

(9780231153287) | Kenneth J
Set Theory: A First Course

Set Theory: A First Course

(9781107120327) | Theory A First Course
The pnp question and godels lost letter

The pnp question and godels lost letter

(9781441971548 / 11739972)
Godel's Proof

Godel's Proof

(9780814758373 / 9780814758373) - Dimensions: 127 x 203 x 11.94mm | 181.44g - Revised - Revised ed. - New York, United States - New York University Press - Format: Paperback | 160 pages - Publication date: 01 Oct 2008