Lógica matemática /
Foundations without foundationalism : a case for second-order logic /
The Basic Laws of Arithmetic Exposition of the System.
The Basic Laws of Arithmetic : Exposition of the System.
The foundations of mathematics /
Mathematics and plausible reasoning.
Logic Colloquium 2007 /
The future of post-human mathematical logic /
Alan Turing's systems of logic : the Princeton thesis /
Diamond : a paradox logic /
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
Advances in linear logic /
Use of Abstraction and Logic in mathematics /
Ronri sūgaku /
An introduction to non-classical logic : from if to is /
Two applications of logic to mathematics /
Conditional and preferential logics : proof methods and theorem proving /
Infinity and truth /
Formalism and beyond : on the nature of mathematical discourse /
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 /
Mathematical logic /
Introducción a la lógica Matemática.