Title: Basic Category Theory, Author: Tom Leinster
Title: Lambda-Calculus and Combinators: An Introduction / Edition 2, Author: J. Roger Hindley
Title: Introduction to Mathematical Structures and Proofs / Edition 2, Author: Larry J. Gerstein
Title: How to Prove It: A Structured Approach / Edition 3, Author: Daniel J. Velleman
Title: David Hilbert's Lectures on the Foundations of Physics 1915-1927: Relativity, Quantum Theory and Epistemology / Edition 1, Author: Tilman Sauer
Title: Decision Theory: Principles and Approaches / Edition 1, Author: Giovanni Parmigiani
Title: Classical Descriptive Set Theory / Edition 1, Author: Alexander Kechris
Title: Logic: Techniques of Formal Reasoning / Edition 2, Author: Donald Kalish
Title: Introduction to Mathematical Logic / Edition 6, Author: Elliott Mendelson
Title: Set Theory: A First Course, Author: Daniel W. Cunningham
Title: Visual Thinking in Mathematics, Author: Marcus Giaquinto
Title: Introduction to Logic / Edition 14, Author: Irving M. Copi
Title: Fundamental Proof Methods in Computer Science: A Computer-Based Approach, Author: Konstantine Arkoudas
Title: Collected Works, Author: Kurt Godel
Title: Demonstration and Scientific Knowledge in William of Ockham: A Translation of Summa Logicae III-II: De Syllogismo Demonstrativo, and Selections from the Prologue to the Ordinatio, Author: John Lee Longeway
Title: Practical Foundations of Mathematics, Author: Paul Taylor
Title: Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism, Author: Jared Warren
Title: Forcing For Mathematicians, Author: Nik Weaver
Title: Exploring Mathematics: An Engaging Introduction to Proof, Author: John Meier
Title: Introduction to Coalgebra: Towards Mathematics of States and Observation, Author: Bart Jacobs

Pagination Links