Welcome to the Kids' Library!

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conferen

Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil), issuing body.
Providence, Rhode Island : American Mathematical Society, 1999. 1999

Advances in logic, artificial intelligence, and robotics LAPTEC 2002

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

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas,

North Texas Logic Conference (2004 : University of North Texas), issuing body.
Providence, Rhode Island : American Mathematical Society, [2007] 2007

Advances in technological applications of logical and intelligent systems selected papers from the S

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

Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 20

Providence, Rhode Island : American Mathematical Society, 2016. 2016

Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011

Scandinavian Conference on Artificial Intelligence (11th : 2011)
Washington, D.C. : IOS Press, 2011. 2011

Frege importance and legacy

Berlin ; New York : Walter de Gruyter, 1996. 1996

Infinity and truth

New Jersey : World Scientific, [2014] 2014

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

Augustus de Morgan Workshop (7th : 2005 : London, England)
Amsterdam : Amsterdam University Press, c2007. 2007

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. 2007

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held Augu

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University), issuing body.
Providence, Rhode Island : American Mathematical Society, [1987] 1987

Logic, computation, hierarchies

Boston : De Gruyter, [2014] 2014

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress o

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
Amsterdam ; New York : Elsevier, 1994. 1994

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

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

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on

Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas), issuing body.
Providence, Rhode Island : American Mathematical Society, [1988] 1988

New perspectives on games and interaction

Amsterdam, Netherlands : Amsterdam Univ. Press, ©2008. 2008

New perspectives on games and interaction

Amsterdam : Amsterdam University Press, c2008. 2008