Title: Basic Category Theory, Author: Tom Leinster
Title: Lambda-Calculus and Combinators: An Introduction / Edition 2, Author: J. Roger Hindley
Title: Set Theory: A First Course, Author: Daniel W. Cunningham
Title: Decision Theory: Principles and Approaches / Edition 1, Author: Giovanni Parmigiani
Title: How to Prove It: A Structured Approach / Edition 3, Author: Daniel J. Velleman
Title: Classical Descriptive Set Theory / Edition 1, Author: Alexander Kechris
Title: Visual Thinking in Mathematics, Author: Marcus Giaquinto
Title: The Logic of Reliable Inquiry, Author: Kevin T. Kelly
Title: Introduction to Logic / Edition 14, Author: Irving M. Copi
Title: The Foundations of Geometry and the Non-Euclidean Plane / Edition 1, Author: G.E. Martin
Title: Lectures on the Curry-Howard Isomorphism, Author: Morten Heine Sørensen M.Sc
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: Physicalism in Mathematics / Edition 1, Author: A.D. Irvine
Title: Fundamentals of Argumentation Theory: A Handbook of Historical Backgrounds and Contemporary Developments / Edition 1, Author: Frans H. van Eemeren
Title: An Invitation to Model Theory, Author: Jonathan Kirby
Title: Introduction to Mathematical Logic / Edition 6, Author: Elliott Mendelson
Title: Mathematical Logic / Edition 2, Author: H.-D. Ebbinghaus
Title: Africa and Mathematics: From Colonial Findings Back to the Ishango Rods, Author: Dirk Huylebrouck
Title: Forcing For Mathematicians, Author: Nik Weaver
Title: Fundamental Proof Methods in Computer Science: A Computer-Based Approach, Author: Konstantine Arkoudas

Pagination Links