Title: Basic Category Theory, Author: Tom Leinster
Title: An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Author: Brendan Fong
Title: A Concise Introduction to Pure Mathematics, Author: Martin Liebeck
Title: Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning, Author: Bob Coecke
Title: Lambda-Calculus and Combinators: An Introduction, Author: J. Roger Hindley
Title: Isabelle: A Generic Theorem Prover, Author: Lawrence C. Paulson
Title: Philosophy of Mathematics: Selected Readings, Author: Paul Benacerraf
Title: Modern Mathematical Logic, Author: Joseph Mileti
Title: An Introduction to Mathematical Reasoning: Numbers, Sets and Functions, Author: Peter J. Eccles
Title: Sheaf Theory through Examples, Author: Daniel Rosiak
Title: An Introduction to Probability and Inductive Logic, Author: Ian Hacking
Title: The Geometry of Equilibrium: James Clerk Maxwell and 21st-Century Structural Mechanics, Author: William F. Baker
Title: Reasoning about Uncertainty, second edition, Author: Joseph Y. Halpern
Title: How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, Author: Daniel Solow
Title: Set Theory: A First Course, Author: Daniel W. Cunningham
Title: Counterfactuals, Author: David Lewis
Title: Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics, Author: Lorenz Halbeisen
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, Author: Yves Bertot
Title: How to Prove It: A Structured Approach, Author: Daniel J. Velleman
Title: Mathematics in Biology, Author: Markus Meister

Pagination Links