Foundations without foundationalism : a case for second-order logic /
Constructibility and mathematical existence /
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Advances in linear logic /
An introduction to non-classical logic : from if to is /
Graph structure and monadic second-order logic : a language-theoretic approach /
Mathematics and plausible reasoning.
Introducción a la lógica Matemática.
Classical mathematical logic : the semantic foundations of logic /
The Basic Laws of Arithmetic Exposition of the System.
The Basic Laws of Arithmetic : Exposition of the System.
Intermediate logic /
The future of post-human mathematical logic /
The foundations of mathematics /
Alan Turing's systems of logic : the Princeton thesis /
Mathematical logic /
Logic Colloquium 2007 /
Use of Abstraction and Logic in mathematics /
Meaningful urban education reform : confronting the learning crisis in mathematics and science /
The conceptual roots of mathematics : an essay on the philosophy of mathematics /
Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Copulas and their applications in water resources engineering /
Mathematics education and the legacy of Zoltan Paul Dienes /
Computability : Turing, Gödel, Church, and beyond /
Helping children learn mathematics /
Mathematical miniatures /
Užití podnětných úloh ve výuce matematiky /
Living culturally responsive mathematics education with/in indigenous communities /
Cambridge o level mathematics.
Measuring what counts : a conceptual guide for mathematics assessment /
Primordial space.
Infinity and truth /
Stochastic Ferromagnetism : analysis and numerics /
Asset prices and monetary policy /
Formalism and beyond : on the nature of mathematical discourse /
Dosage calculations made incredibly easy! /
Strict finitism An examination of Ludwig Wittgenstein's "Remarks on the foundations of mathematics"
Improving student learning in mathematics and science : the role of national standards in state policy /
Purity, spectra and localisation /
Grammatical inference : learning automata and grammars /
Handbook of logic in computer science.
The arrow and the point : Russell and Wittgenstein's Tractatus /
Coding the universe /
Set theory and its logic /
The logic of knowledge bases /
Frege : importance and legacy /
Phenomenology, logic, and the philosophy of mathematics /
Tractatus logico-philosophicus /
Logisch-philosophische Abhandlung Der Tractatus in Baumform.
Principles of truth /
Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /
Diamond : a paradox logic /
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /