Advances in linear logic

Cambridge ; New York, NY, USA : Cambridge University Press, 1995.

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002

Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil)
Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002.

Advances in logic based intelligent systems : selected papers of LAPTEC 2005

Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan)
Amsterdam ; Washington, DC : IOS Press, [2005]

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the

Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil)
Amsterdam, Netherlands ; Fairfax, VA : IOS Press, [2009]

Frege : importance and legacy

Berlin ; New York : Walter de Gruyter, 1996.

Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy

Gödel '96 (1996 : Brno, Czech Republic)
Cambridge : Cambridge University Press, 2017.

Infinity and truth

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

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London

Augustus de Morgan Workshop (7th : 2005 : London, England)
Amsterdam : Amsterdam Univsity Press, [2007]

Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Logic Colloquium.
Cambridge : Cambridge University Press, 2017.

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]

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]

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.

Logic Colloquium 2006

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

Logic Colloquium 2007

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

Logic, Computation, Hierarchies.

Brattka, Vasco, 1966- editor.
Boston : De Gruyter, [2014]

Logic, methodology, and philosophy of science; proceedings.

International Congress for Logic, Methodology, and Philosophy of Science (1st : 1960 : Stanford, Calif.)
Stanford, Calif. : Stanford University Press, 1962.

Logic, methodology and philosophy of science; proceedings.

International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalem)
Amsterdam : North-Holland Pub. Co., 1965.

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]

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.

New perspectives on games and interaction

Amsterdam, Netherlands : Amsterdam Univ. Press, [2008]

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]

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]

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]

Proceedings of the 12Th Asian Logic Conference.

Downey, R. G. (Rod G.)
Singapore : World Scientific Publishing Company, 2013.

Symbolic computation and education

Singapore ; Hackensack, NJ : World Scientific, [2007]