Theorems and counterexamples in mathematics :: SCD d'Orléans

Theorems and counterexamples in mathematics

Theorems and counterexamples in mathematics

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gelbaum, Bernard R., 1922-2005, Olmsted, John Meigs Hubbell, 1911-1997 (Auteur)
Format:	Livre papier
Langue:	Anglais
Publié:	New York ; Paris : Springer-Verlag copyright 1990.
Collection:	Problem books in mathematics
Sujets:	Logique mathématique non classique Théorie de la démonstration Mathématiques
Autres localisations:	Voir dans le Sudoc

Documents similaires

Counterexamples in analysis
par: Gelbaum, Bernard R., 1922-2005, et autres
Publié: (1964)

Theorems and Counterexamples in Mathematics
par: Gelbaum, Bernard R., 1922-2005, et autres

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
par: 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
par: Baumgartner, Peter, 1953-

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

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

Applied proof theory : proof interpretations and their use in mathematics
par: Kohlenbach, Ulrich, 1962-
Publié: (2008)

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

Three Views of Logic : Mathematics, Philosophy, and Computer Science
par: Loveland, Donald W., et autres
Publié: (2014)

Proof Theory : An Introduction
par: Pohlers, Wolfram

Metamathematical investigation of intuitionistic arithmetic and analysis
par: Troelstra, Anne Sjerp

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

Ecrits logiques
par: Herbrand, Jacques, 1908-1931, et autres
Publié: (1968)

Raisonnements divins
par: Aigner, Martin, 1942-2023, et autres
Publié: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
par: Aigner, Martin, 1942-2023, et autres
Publié: (2006)

Les démonstrations : l'art de convaincre
par: Cohen, Gilles, 1951-2023, mathématicien
Publié: (2015)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
par: Cori, René, et autres
Publié: (1993)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
par: Buchholz, Wilfried, 1948-, et autres

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

Introduction à la logique
par: Delessert, André, 1923-2010
Publié: (1988)

La logique, pas à pas
par: Duparc, Jacques, 1962-
Publié: (2015)

Modal logics
par: Feys, Robert, 1889-1961
Publié: (1965)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : 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

Logique mathématique
par: Kleene, Stephen Cole, 1909-1994
Publié: (1971)

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

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

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

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

Automated deduction in equational logic and cubic curves
par: McCune, William Walker, 1953-, et autres

La démonstration mathématique dans l'histoire : actes du 7ème colloque inter-IREM Épistémologie et histoire des mathématiques, Besançon, 12 et 13 mai 1989
Publié: (1990)

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

Connaître et reconnaître les théorèmes de la géométrie

The story of proof : logic and history of mathematics
par: Stillwell, John, 1942-...., Professeur de mathématiques
Publié: (2022)

Logiques non monotones et intelligence artificielle
par: Grégoire, Eric
Publié: (1990)

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

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

© 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