Computational Complexity: A Modern Approach

Computational Complexity: A Modern Approach

Cambridge University Press (9780521424264) | Modern Approach
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
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Academic Press (9780121703509)
An Introduction to Probability and Inductive Logic

An Introduction to Probability and Inductive Logic

(9780521775014 / Worked examples or Exercises)
The Pea and the Sun: A Mathematical Paradox

The Pea and the Sun: A Mathematical Paradox

Explore a whimsical yet rigorous journey where a single pea defies expectations under sunlight, revealing hidden symmetries and challenging conventional proofs in an engaging blend of narrative and mathematical insight.
A Mathematical Introduction to Logic

A Mathematical Introduction to Logic

(9780122384523) - Country of publication: UNITED STATES - Dimensions: (H) 241mm, (W) 165mm, (D) 23mm - Edition: 2 ed - Academic Press Inc - Elsevier Science & Technology - Print on demand - ISBN: 9780122384523
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
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

A K Peters/CRC Press (9781568812380) | Gödel's Theorem
An Introduction to Symbolic Logic

An Introduction to Symbolic Logic

Dover Publications Inc. (9780486601649)
Incompleteness: The Proof and Paradox of Kurt Gödel: 0

Incompleteness: The Proof and Paradox of Kurt Gödel: 0

W. W. Norton & Company (9780393327601)
Schaum's Outline of Set Theory and Related Topics

Schaum's Outline of Set Theory and Related Topics

McGraw-Hill Education (9780070381599)
Introducing Logic: A Graphic Guide

Introducing Logic: A Graphic Guide

Icon Books (9781848310124) | Introducing Logic
Introduction to Modern Cryptography

Introduction to Modern Cryptography

Chapman and Hall/CRC (9781466570269) | Public-key cryptography, Introduction to Modern, Introduction to Modern Cryptography, Private-key Cryptography, Treatment of private-key encryption, Public-key encryption & Ciphers and block ciphers
Godel's Proof

Godel's Proof

NYU Press (9780814758168)
Basic Proof Theory 2ed: 43

Basic Proof Theory 2ed: 43

Cambridge University Press (9780521779111) | Basic Proof
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
The Arrow Impossibility Theorem

The Arrow Impossibility Theorem

(9780231153287) | Kenneth J
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
Lectures on Boolean Algebras

Lectures on Boolean Algebras

(9780387402932 / 10 black & white illustrations, biograph)