Three Views of Logic : :: SCD d'Orléans

Three Views of Logic : Mathematics, Philosophy, and Computer Science

Three Views of Logic : Mathematics, Philosophy, and Computer Science

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Loveland, Donald W., Hodel, Richard E. (Awdur), Sterrett, S. G. (Awdur)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Princeton : Princeton University Press 2014.
Pynciau:	Logique symbolique et mathématique Théorie de la démonstration Logique informatique Logique > Philosophie
Mynediad Ar-lein:	Accès Université d'Orléans et IFPM Accès INSA CVL
Nodyn:	9.9 Intuitive Descriptions of the Four-Valued Logic Semantics Description basée sur l'édition papier La pagination de l'édition imprimée correspondante est de 339 p. Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Three views of logic, mathematic, philosophy and computer science, Donald W. Loveland, Richard E. Hodel, S. G. Sterrett, Princeton, Princeton University Press, 2014, 1 vol. (XV- 322 p.), 978-0-691-16044-3

Eitemau Tebyg

Gentzen calculi for modal propositional logic
gan: Poggiolesi, Francesca, 1980-

The logic of information structures
gan: Wansing, Heinrich, 1963-

Automated deduction in equational logic and cubic curves
gan: McCune, William Walker, 1953-, et al.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
gan: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
gan: Kakas, Antonis C.

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Logique. Méthodes pour l'informatique fondamentale
gan: Gochet, Paul, 1932-2011, logicien, et al.
Cyhoeddwyd: (1990)

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
gan: Parigot, Michel, 1956-...., mathématicien

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
gan: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
gan: Voronkov, Andrei, 1959-

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

From logic design to logic programming : theorem proving techniques and P-functions
gan: Snyers, Dominique, et al.

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
gan: Pfenning, Frank

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

A resolution principle for a logic with restricted quantifiers
gan: Bürckert, Hans-Jürgen

Preuves et réfutations : essai sur la logique de la découverte mathématique
gan: Lakatos, Imre, 1922-1974
Cyhoeddwyd: (1984)

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Applied proof theory : proof interpretations and their use in mathematics
gan: Kohlenbach, Ulrich, 1962-
Cyhoeddwyd: (2008)

Applied proof theory : proof interpretations and their use in mathematics
gan: Kohlenbach, Ulrich, 1962-

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
gan: Slind, Konrad

Proof Theory : An Introduction
gan: Pohlers, Wolfram

The computer modelling of mathematical reasoning
gan: Bundy, Alan R., 1947-
Cyhoeddwyd: (1983)

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
gan: Nipkow, Tobias, 1958-..., informaticien, et al.

Automata, logics, and infinite games
gan: Grädel, Erich, 1958-

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
gan: Kahle, Reinhard, 1967-

Journal of logic and computation.
Cyhoeddwyd: (1990)

Logic journal of the IGPL.
Cyhoeddwyd: (1997)

Automated deduction in classical and non-classical logics : selected papers

Ecrits logiques
gan: Herbrand, Jacques, 1908-1931, et al.
Cyhoeddwyd: (1968)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales