Title: Basic Category Theory, Author: Tom Leinster
Title: Lambda-Calculus and Combinators: An Introduction / Edition 2, Author: J. Roger Hindley
Title: A Concise Introduction to Pure Mathematics / Edition 4, Author: Martin Liebeck
Title: Philosophy of Mathematics: Selected Readings / Edition 2, Author: Paul Benacerraf
Title: Isabelle: A Generic Theorem Prover / Edition 1, Author: Lawrence C. Paulson
Title: Introduction to Mathematical Structures and Proofs / Edition 2, Author: Larry J. Gerstein
Title: An Introduction to Probability and Inductive Logic / Edition 1, Author: Ian Hacking
Title: How to Prove It: A Structured Approach / Edition 3, Author: Daniel J. Velleman
Title: Logical Investigations Volume 1 / Edition 1, Author: Edmund Husserl
Title: An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Author: Brendan Fong
Title: Logical Investigations Volume 2 / Edition 1, Author: Edmund Husserl
Title: Force of Logic: Using Formal Logic as a Tool in the Craft of Legal Argument / Edition 1, Author: Stephen M. Rice
Title: The Frege Reader / Edition 1, Author: Michael Beaney
Title: The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma, Author: Alan M. Turing
Title: An Introduction to Philosophical Logic / Edition 3, Author: A. C. Grayling
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: An Introduction to Mathematical Reasoning: Numbers, Sets and Functions / Edition 1, Author: Peter J. Eccles
Title: Classical Descriptive Set Theory / Edition 1, Author: Alexander Kechris
Title: Mathematical Logic / Edition 1, Author: Joseph R. Shoenfield

Pagination Links