Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism

Lonergan, Bernard J. F.
Toronto [Ont.] : Published by University of Toronto Press for Lonergan Research Institute of Regis College, 2001.

Computational logic and human thinking : how to be artificially intelligent

Kowalski, Robert.
Cambridge ; New York : Cambridge University Press, 2011.

Formal logic : a philosophical approach

Hoyningen-Huene, Paul, 1946-
Pittsburgh : University of Pittsburgh Press, [2004]

Logic Colloquium 2007

Logic Colloquium (2007 : Wrocław, Poland)
Cambridge ; New York : Cambridge University Press ; [La Jolla, Calif.] : Association for Symbolic Logic, 2010.

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Sym

Logic Colloquium.
Cambridge, UK ; New York : Cambridge University Press, 2007.

Diamond : a paradox logic

Hellerstein, N. S. (Nathaniel S.)
New Jersey : World Scientific, [2010]
2nd ed.

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathemati

Grattan-Guinness, I.
Princeton, N.J. : Princeton University Press, [2000]

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbo

Logic Colloquium (1995 : Haifa, Israel)
Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

Lectures on infinitary model theory

Marker, D. (David), 1958- author.
Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, [2016]

Mathematical logic

Chiswell, Ian, 1948-
London ; New York : Oxford University Press, 2007.

Andrzej Mostowski and foundational studies

Amsterdam ; Washington, D.C. : Ios Press, [2008]

The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein

Hopkins, Burt C.
Bloomington, Ind. : Indiana University Press, [2011]

Logic Colloquium 2006

Logic Colloquium (2006 : Nijmegen, Netherlands)
Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009.

An introduction to non-classical logic : from if to is

Priest, Graham, author.
Cambridge ; New York : Cambridge University Press, 2008.
2nd ed.

Infinity and truth

Workshop on Infinity and Truth (2011 : Institute for Mathematical Sciences, Singapore)
[Hackensack] New Jersey : World Scientific, [2014]

Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, C

Asian Logic Conference (7th : 1999 : Hsi-Tou, Taiwan)
New Jersey ; London : World Scientific, [2003]

Logic and information flow

Cambridge, Mass. : MIT Press, [1994]

Handbook of logic in artificial intelligence and logic programming.

Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998.

Linear Logic in Computer Science

Cambridge : Cambridge University Press, 2004.

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Associa

Logic Colloquium (1997 : Leeds, England)
Cambridge ; New York : Cambridge University Press, 1999.

Kurt Gödel and the foundations of mathematics : horizons of truth

Cambridge ; New York : Cambridge University Press, 2011.

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

Logic Colloquium (1996 : San Sebastián, Spain)
Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

The continuum companion to philosophical logic

London ; New York, New York : Continuum, 2011.

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies.

Kennedy, Juliette, 1955-
Cambridge : Cambridge University Press, 2011.

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for

Logic Colloquium (1997 : Leeds, England)
Cambridge ; New York : Cambridge University Press, 1999.

Something to reckon with : the logic of terms

Englebretsen, George.
Ottawa [Ont.] : University of Ottawa Press, [1996]

Logic and algebraic structures in quantum computing

Cambridge : Cambridge University Press, 2016.

Kurt Gödel : essays for his centennial

[Ithaca, NY] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, [2010]

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-

Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
Singapore ; Hackensack, NJ : World Scientific, [2006]

Advances in bioinformatics and its applications : proceedings of the International Conference : Nova

International Conference on Advances in Bioinformatics and Its Applications (2004 : Fort Lauderdale, Florida)
Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2005]

Mathematical logic in the 20th century

Singapore : Singapore University Press ; River Edge, N.J. : World Scientific, [2003]

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birt

Asian Logic Conference (11th : 2009 : Singapore)
Singapore ; Hackensack, NJ : World Scientific, [2012]

The Logical enterprise

New Haven : Yale University Press, 1975.

Symbolic logic and The game of logic

Carroll, Lewis, 1832-1898.
New York : Dover Publications, 1958.

In the light of logic

Feferman, Solomon.
New York : Oxford University Press, [1998]

Russell's hidden substitutional theory

Landini, Gregory.
New York : Oxford University Press, 1998.

Frege and Gödel; two fundamental texts in mathematical logic.

Van Heijenoort, Jean, 1912-1986.
Cambridge, Mass. : Harvard University Press, 1970.

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1

Mancosu, Paolo.
Oxford ; New York : Oxford University Press, 2010.

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2010]

Frege's logic

Macbeth, Danielle.
Cambridge, MA : Harvard University Press, 2005.

Phenomenology, logic, and the philosophy of mathematics

Tieszen, Richard L., 1951-2017.
Cambridge ; New York : Cambridge University Press, [2005]

Computer Mathematics.

Prudhomme, Gerard.
Ashland : Arcler Press, 2019.

Mathematics and the natural sciences : the physical singularity of life

Bailly, Francis.
London : Imperial College Press, [2011]

Mathematics and mathematical logic : new research

New York : Nova Science Publishers, c2010.

Foundations without foundationalism : a case for second-order logic

Shapiro, Stewart, 1951-
Oxford : Clarendon Press, [1991]

Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural

Goldblatt, Robert.
Cambridge : Cambridge University Press, 2011.

Computability and logic.

Boolos, George.
Cambridge ; New York : Cambridge University Press, 2007.
5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.

Foundations of decision-making agents : logic, probability and modality

Das, Subrata Kumar.
Singapore ; Hackensack, NJ : World Scientific ; [London] : Imperial College Press, [2008]

Logic with trees : an introduction to symbolic logic

Howson, Colin.
London ; New York : Routledge, 1997.

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, an

Turing, Alan, 1912-1954.
Oxford : Clarendon Press ; New York : Oxford University Press, 2004.