Set theory and its logic /
Roads to infinity : the mathematics of truth and proof /
Coding the universe /
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
Infinity and the Mind : the Science and Philosophy of the Infinite /
Infinity and truth /
Lógica matemática /
Theory of formal systems /
Elementary Set Theory, Part I /
Elementary set theory, parts I and II /
Sets, functions, measures.
On group-theoretic decision problems and their classification /
Nonlinear integrals and their applications in data mining /
Fuzzy Logic Models and Fuzzy Control : an Introduction.
Matemática básica aplicada a la ingeniería civil.
New Perspectives on Games and Interaction
Conditional and preferential logics : proof methods and theorem proving /
Teoria de conjuntos : conceptos, operaciones y propiedades /
Inner models and large cardinals /
Affine sets and affine groups /
Fine structure and iteration trees /
Descriptive set theory and dynamical systems /
Philosophy of mathematics : set theory, measuring theories, and nominalism /
Computational prospects of infinity.
The Cabal Seminar.
Abstract recursion and intrinsic complexity /
Georg Cantor : his mathematics and philosophy of the infinite /
N-gons /
Aggregation in economic analysis : an introductory survey /
General topology /
Analyzing atonal music : pitch-class set theory and its contexts /
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.
An introduction to non-classical logic : from if to is /
The arrow and the point : Russell and Wittgenstein's Tractatus /
Foundations without foundationalism : a case for second-order logic /
The logic of knowledge bases /
Frege : importance and legacy /
Advances in linear logic /
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 /
Diamond : a paradox logic /
On the Nature of Philosophy and Other Philosophical Essays
Interpreting Philosophy. The Elements of Philosophical Hermeneutics
Philosophical dialectics : an essay on metaphilosophy /
Philosophical standardism : an empiricist approach to philosophical methodology /
Studies in value theory /
Process metaphysics : an introduction to process philosophy /
Cognitive economy : the economic dimension of the theory of knowledge /
Ethical idealism : an inquiry into the nature and function of ideals /
The limits of science /
Cosmos and Logos : studies in Greek philosophy /
Studies in idealism /
Welfare; the social issues in philosophical perspective.
Studies in metaphysical optimalism /
Essays in philosophical analysis.
Unpopular essays on technological progress /
Ignorance : on the wider implications of deficient knowledge /
Al-Fārābī an annotated bibliography.
Unselfishness : the role of the vicarious affects in moral philosophy and social theory /
Galen and the syllogism an examination of the thesis that Galen originated the fourth figure of the syllogism in the light of new data from Arabic sources including an Arabic text edition and annotated translation of Ibn al-Salah's treatise "On the fourth figure of the categorical syllogism."
Theory of categories : key instruments of human understanding /
Beyond Sets : a Venture in Collection-Theoretic Revisionism.