Ecrits logiques :: SCD d'Orléans

Ecrits logiques

Ecrits logiques

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Herbrand, Jacques, 1908-1931, Chevalley, Claude, 1909-1984 (مؤلف), Lautman, Albert, 1908-1944 (مؤلف)
مؤلفون آخرون:	Van Heijenoort, Jean, 1912-1986 (كاتب المقدمة، إلخ.)
التنسيق:	Livre papier
اللغة:	Français
منشور في:	Paris : Presses universitaires de France 1968.
سلاسل:	Bibliothèque de philosophie contemporaine. Logique et philosophie des sciences
الموضوعات:	Théorie de la démonstration Métamathématique Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

مواد مشابهة

La logique interne
بواسطة: Gauthier, Yvon, 1941-
منشور في: (1991)

Introduction to metamathematics
بواسطة: Kleene, Stephen Cole, 1909-1994
منشور في: (1952)

Métamathématique
بواسطة: Lorenzen, Paul, 1915-1994
منشور في: (1967)

Le théorème de Gödel
بواسطة: Nagel, Ernest, 1901-1985, philosophe, logicien, وآخرون
منشور في: (1997)

The metamathematics of algebraic systems : collected papers : 1936-1967
بواسطة: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
منشور في: (1971)

Preuves et réfutations : essai sur la logique de la découverte mathématique
بواسطة: Lakatos, Imre, 1922-1974
منشور في: (1984)

Logique. Méthodes pour l'informatique fondamentale
بواسطة: Gochet, Paul, 1932-2011, logicien, وآخرون
منشور في: (1990)

Proof Theory : An Introduction
بواسطة: Pohlers, Wolfram

Gentzen calculi for modal propositional logic
بواسطة: Poggiolesi, Francesca, 1980-

Three Views of Logic : Mathematics, Philosophy, and Computer Science
بواسطة: Loveland, Donald W., وآخرون
منشور في: (2014)

Raisonnements divins
بواسطة: Aigner, Martin, 1942-2023, وآخرون
منشور في: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
بواسطة: Aigner, Martin, 1942-2023, وآخرون
منشور في: (2006)

Les démonstrations : l'art de convaincre
بواسطة: Cohen, Gilles, 1951-2023, mathématicien
منشور في: (2015)

Applied proof theory : proof interpretations and their use in mathematics
بواسطة: Kohlenbach, Ulrich, 1962-
منشور في: (2008)

Applied proof theory : proof interpretations and their use in mathematics
بواسطة: Kohlenbach, Ulrich, 1962-

Metamathematical investigation of intuitionistic arithmetic and analysis
بواسطة: Troelstra, Anne Sjerp

La logique, pas à pas
بواسطة: Duparc, Jacques, 1962-
منشور في: (2015)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
بواسطة: Buchholz, Wilfried, 1948-, وآخرون

The logic of information structures
بواسطة: Wansing, Heinrich, 1963-

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
بواسطة: McCune, William Walker, 1953-, وآخرون

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

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

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
بواسطة: David, René, 1948-...., mathématicien, وآخرون
منشور في: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
بواسطة: David, René, 1948-2022, mathématicien, وآخرون
منشور في: (2004)

How to read and do proofs : an introduction to mathematical thought processes
بواسطة: Solow, Daniel
منشور في: (2005)

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
بواسطة: Kahle, Reinhard, 1967-

Term indexing
بواسطة: Graf, Peter, 1966-

Foundations of mathematics : questions of analysis, geometry & algorithmics
بواسطة: Engeler, Erwin, 1930-
منشور في: (1983)

The computer modelling of mathematical reasoning
بواسطة: Bundy, Alan R., 1947-
منشور في: (1983)

Sur la nature des mathématiques
بواسطة: Bruter, Claude Paul, 1937-...., mathématicien
منشور في: (1973)

Méthodes de logique
بواسطة: Quine, Willard Van Orman, 1908-2000, philosophe
منشور في: (1973)

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

Using sophisticated models in resolution theorem proving
بواسطة: Sandford, David M., 19..-

Écrits logiques et philosophiques
بواسطة: Frege, Gottlob, 1848-1925
منشور في: (1971)

Theorems and counterexamples in mathematics
بواسطة: Gelbaum, Bernard R., 1922-2005, وآخرون
منشور في: (1990)

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
بواسطة: Schaub, Torsten

Theory reasoning in connection calculi
بواسطة: 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

© 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