The blind spot : :: SCD d'Orléans

$The blind spot : lectures on logic$

The blind spot : lectures on logic

Guardat en:

Dades bibliogràfiques
Autor principal:	Girard, Jean-Yves, 1947-...., mathématicien-logicien
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Zürich : European Mathematical Society 2011. Zürich :
Matèries:	Logique symbolique et mathématique Théorèmes d'incomplétude Mathématiques > Philosophie Épistémologie
Accés en línia:	Accès sur la plateforme EMS Press Accès sur la plateforme ISTEX Accès Université d'Orléans Accès INSA CVL
Nota:	L'ouvrage rassemble les notes d'un cours donné dans le cadre de l'Université franco-italienne, d'octobre à décembre 2004, à l'Università Roma Tre (Dipartimento di filosofia) European Mathematical Society (Licence nationale) European Mathematical Society (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• The blind spot, lectures on logic, Jean-Yves Girard, 2011, Zürich, European Mathematical Society, 1 vol. (XIII-537 p.), 978-3-03-719088-3

Ítems similars

Le point aveugle : cours de logique Vers l'imperfection
per: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Publicat: (2007)

A Course on Mathematical Logic
per: Srivastava, Sashi Mohan, 19..-

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
per: Delahaye, Jean-Paul, 1952-
Publicat: (2025)

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
per: Delahaye, Jean-Paul, 1952-
Publicat: (2025)

Success and Opportunism in Hilbert’s and von Neumann’s Methodological Reflections
per: Formica, Giambattista
Publicat: (2020)

Le théorème de Gödel
per: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Publicat: (1997)

Completeness Theory for Propositional Logics
per: Pogorzelski, Witold A., 1927-, et al.

Cours de logique mathématique. Relation, formule logique, compacité, complétude
per: Fraïssé, Roland, 1920-2008, mathématicien
Publicat: (1967)

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

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

Logique mathématique
per: Pabion, Jean-François, 1942-
Publicat: (1976)

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

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

Using sophisticated models in resolution theorem proving
per: Sandford, David M., 19..-

Les théorèmes d'incomplétude de Gödel
per: Smullyan, Raymond Merrill, 1919-2017
Publicat: (1993)

Introduction à l'épistémologie des mathématiques : que sait-on quand on connaît le théorème de Pythagore ?
per: Fouquet, Olivier, 1981-...., mathématicien
Publicat: (2025)

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
per: Ladrière, Jean, 1921-2007
Publicat: (1992)

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

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

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

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

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

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

Theory reasoning in connection calculi
per: Baumgartner, Peter, 1953-

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

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

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

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

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

Handbook of mathematical logic
per: Barwise, Jon, 1942-2000, logicien
Publicat: (1977)

Logicism, intuitionism, and formalism : what has become of them?
per: Lindström, Sten

Symposium on automatic demonstration : held at Versailles-France, December 1968

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
per: Bundy, Alan R., 1947-

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
per: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
per: Baumgartner, Peter, 1953-

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
per: David, René, 1948-...., mathématicien, et al.
Publicat: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
per: David, René, 1948-2022, mathématicien, et al.
Publicat: (2004)

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

© 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