Mathematical Foundations

Collected Works: Publications 1929-1936

(9780195039641 / frontispiece, halftones) | Kurt Godel

First Steps in Modal Logic

(9780521057936)

Basic Concepts of Synthetic Differential Geometry: 13

(9780792339410)

Handbook of Categorical Algebra: Categories and Structures v. 2

(9780521061223)

Representation Theory: A Homological Algebra Point of View

(9783319079677)

To Infinity and Beyond: A Cultural History of the Infinite

(9780691178110)

The Joy of Sets: Fundamentals of Contemporary Set Theory

(9780387940946)

Combinatorial Set Theory: With a Gentle Introduction to Forcing

(9783319602301)

Beginning Julia Programming: For Engineers and Scientists

(9781484231708 / 29981096)

Subjective Logic: A Formalism for Reasoning Under Uncertainty

(9783319423357 / 26329135)

Crafting Conundrums: Puzzles and Patterns for the Bead Crochet Artist

(9781466588486)

Set Theory: Exploring Independence and Truth

(9783319067247)

The Local Structure of Algebraic K-Theory: 18

(9781447143925) | Proves The difference

Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Springer International Publishing AG (9783319143699 / 72 black & white illustrations, biograph)

Handbook of Model Checking

(9783319105741 / 22642360)

Introduction to Octave: For Engineers and Scientists

(9781484232002)

104 Number Theory Problems: From the Training of the USA IMO Team

(9780817645274)

Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture

(9780521666466)

12 × 12 Schlüsselkonzepte zur Mathematik

(9783662470763 / 43573466)

Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic

(9781623157104)

Set Theory: The Structure of Arithmetic

(9780486824727)

Naive Set Theory

(9781614271314)

Toposes and Local Set Theories: An Introduction

(9780486462868 / illustrations)

Alfred Tarski: Life and Logic

Notes on Logic and Set Theory

(9780521336925)

Computable Structures and the Hyperarithmetical Hierarchy,144: Volume 144

Elsevier Science (9780444500724)

Roads to Infinity: The Mathematics of Truth and Proof

(9781568814667 / 28524369)

Non-standard Analysis

(9780691044903 / 52055)

Mathematical Logic

(9780470280744)

New Computational Paradigms: Changing Conceptions of What Is Computable

(9780471026228 / 9780387360331)

Griddlers Logic Puzzles: Color: Nonograms, Griddlers, Picross: Volume 1

Griddlers.Net (9789657679241)

Papers in Philosophical Logic: Volume 1

(9780521587884) | Philosophical logic

The Times Fiendish Su Doku Book 8: 200 challenging Su Doku puzzles

(9780007580798) | Su Doku, Times Fiendish Su Doku, Fiendish Su Doku

The Times Killer Su Doku Book 10: 150 lethal Su Doku puzzles

HarperCollins Publishers (9780007516940) | Killer Su Doku

THE TIMES DIFFICULT SU DOKU BOOK 3: 200 dreadfully tricky Su Doku puzzles

An Introduction to Substructural Logics

(9780415215343) | Substructural logics