Title: G�del's Incompleteness Theorems: A Guided Tour Through Kurt G�del's Historic Proof, Author: Dirk W. Hoffmann
Title: An Introduction to Probability and Inductive Logic, Author: Ian Hacking
Title: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Author: Leslie Lamport
Title: Basic Category Theory, Author: Tom Leinster
Title: Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis, Author: Serafim Batzoglou
Title: Philosophy of Mathematics and Natural Science, Author: Hermann Weyl
Title: Exploring Mathematics: An Engaging Introduction to Proof, Author: John Meier
Title: Mathematical Logic and Model Theory: A Brief Introduction, Author: Alexander Prestel
Title: Taking the Oof! Out of Proofs, Author: Alexandr Draganov
Title: Modern Mathematical Logic, Author: Joseph Mileti
Title: Handbook of Mathematical Induction: Theory and Applications, Author: David S. Gunderson
Title: Numerical Methods of Curve Fitting, Author: P. G. Guest
Title: Philosophy of Mathematics: Selected Readings, Author: Paul Benacerraf
Title: Axiomatic Formal Ontology, Author: Uwe Meixner
Title: Counterfactuals, Author: David Lewis
Title: Nonstandard-Analysis: In der Hochschul-Didaktik, Logik und Philosophie, Author: Karl Kuhlemann
Title: 18 Unconventional Essays on the Nature of Mathematics, Author: Reuben Hersh
Title: Mathematical Logic and Computation, Author: Jeremy Avigad
Title: Introduction to Coalgebra: Towards Mathematics of States and Observation, Author: Bart Jacobs
Title: The Beauty of Fractals: Images of Complex Dynamical Systems, Author: Heinz-Otto Peitgen

Pagination Links