Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W., et al.
Published: (2014)

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory /
Published: (1995)

Quantification in nonclassical logic /
by: Gabbay, Dov M., 1945-
Published: (2009)

Quantification in nonclassical logic /
by: Gabbay, Dov M., 1945-
Published: (2009)

Automated theorem-proving in non-classical logics /
by: Thistlewaite, Paul B.
Published: (1988)

Logical options : an introduction to classical and alternative logics /
by: Bell, J. L. (John Lane)
Published: (2001)

Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday /
Published: (2007)

Interval/probabilistic uncertainty and non-classical logics /
Published: (2008)

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
Published: (1992)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings /
Published: (1991)

Computability and logic /
by: Boolos, George
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2007)

Computability and logic.
by: Boolos, George
Published: (2002)

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
Published: (1995)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2002)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Published: (1988)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)

Fuzzy logic /
Published: (1996)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Mathematical logic : proceedings of the first Brazilian Conference /
Published: (1978)

Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
Published: (2007)

Operator theory : nonclassical problems /
by: Pyatkov, S. G.
Published: (2002)

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /
Published: (2007)

Classical and fuzzy concepts in mathematical logic and applications /
by: Reghiș, Mircea
Published: (1998)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Published: (1990)

Proceedings of the Second Scandinavian Logic Symposium /
Published: (1971)

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
Published: (2006)

Classical and nonclassical logics : an introduction to the mathematics of propositions /
by: Schechter, Eric, 1950-
Published: (2005)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Fuzzy logic : a framework for the new millennium /
Published: (2002)