Title: Basic Category Theory, Author: Tom Leinster
Title: Set Theory: A First Course, Author: Daniel W. Cunningham
Title: How to Prove It: A Structured Approach / Edition 3, Author: Daniel J. Velleman
Title: Lambda-Calculus and Combinators: An Introduction / Edition 2, Author: J. Roger Hindley
Title: Mathematical Logic / Edition 2, Author: H.-D. Ebbinghaus
Title: Fundamental Proof Methods in Computer Science: A Computer-Based Approach, Author: Konstantine Arkoudas
Title: Visual Thinking in Mathematics, Author: Marcus Giaquinto
Title: Introduction to Logic / Edition 14, Author: Irving M. Copi
Title: Classical Descriptive Set Theory / Edition 1, Author: Alexander Kechris
Title: Introduction to Metamathematics / Edition 13, Author: S.C. Kleene
Title: Mathematics for the Liberal Arts / Edition 1, Author: Donald Bindner
Title: A Course in Model Theory / Edition 1, Author: Katrin Tent
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Dynamic Epistemic Logic / Edition 1, Author: Hans van Ditmarsch
Title: The Logic Book / Edition 6, Author: James Moor
Title: Handbook of Automated Reasoning, Author: Alan J.A. Robinson
Title: Decision Theory: Principles and Approaches / Edition 1, Author: Giovanni Parmigiani
Title: Africa and Mathematics: From Colonial Findings Back to the Ishango Rods, Author: Dirk Huylebrouck
Title: Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism, Author: Jared Warren

Pagination Links