Cours de logique mathématique. :: SCD d'Orléans

$Cours de logique mathématique. Relation, formule logique, compacité, complétude$

Cours de logique mathématique. Tome I, Relation, formule logique, compacité, complétude

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Fraïssé, Roland, 1920-2008, mathématicien
Materyal Türü:	Livre papier
Dil:	Français
Baskı/Yayın Bilgisi:	Paris : Louvain : Gauthier-Villars ; E. Nauwelaerts 1967.
Seri Bilgileri:	Collection de logique mathématique. Série A 23
Konular:	Théorème de complétude Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Relation, formule logique, compacité, complétude

Benzer Materyaller

Logique mathématique
Yazar:: Pabion, Jean-François, 1942-
Baskı/Yayın Bilgisi: (1976)

Completeness Theory for Propositional Logics
Yazar:: Pogorzelski, Witold A., 1927-, ve diğerleri

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

Cours de logique mathématique. Relation et formule logique
Yazar:: Fraïssé, Roland, 1920-2008, mathématicien
Baskı/Yayın Bilgisi: (1971)

Cours de logique mathématique. Récursivité et constructibilité
Yazar:: Fraïssé, Roland, 1920-2008, mathématicien
Baskı/Yayın Bilgisi: (1975)

Cours de logique mathématique. Théorie des modèles
Yazar:: Fraïssé, Roland, 1920-2008, mathématicien
Baskı/Yayın Bilgisi: (1972)

Complete theories
Yazar:: Robinson, Abraham, 1918-1974
Baskı/Yayın Bilgisi: (1956)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
Yazar:: Cori, René, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Le point aveugle : cours de logique Vers l'imperfection
Yazar:: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Baskı/Yayın Bilgisi: (2007)

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
Yazar:: David, René, 1948-...., mathématicien, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
Yazar:: David, René, 1948-2022, mathématicien, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Computers and intractability : A guide to the theory of NP-completeness
Yazar:: Garey, Michael R., ve diğerleri
Baskı/Yayın Bilgisi: (1979)

Logique mathématique
Yazar:: Kleene, Stephen Cole, 1909-1994
Baskı/Yayın Bilgisi: (1971)

Logique mathématique
Yazar:: Kleene, Stephen Cole, 1909-1994
Baskı/Yayın Bilgisi: (1987)

Introduction à la logique mathématique
Yazar:: Novikov, Petr Sergeevich, 1901-1975
Baskı/Yayın Bilgisi: (1964)

Le théorème de Gödel
Yazar:: Nagel, Ernest, 1901-1985, philosophe, logicien, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

The blind spot : lectures on logic
Yazar:: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Baskı/Yayın Bilgisi: (2011)

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
Yazar:: Bernays, Paul, 1888-1977, ve diğerleri
Baskı/Yayın Bilgisi: (1958)

The computer modelling of mathematical reasoning
Yazar:: Bundy, Alan R., 1947-
Baskı/Yayın Bilgisi: (1983)

Les théorèmes d'incomplétude de Gödel
Yazar:: Smullyan, Raymond Merrill, 1919-2017
Baskı/Yayın Bilgisi: (1993)

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
Yazar:: Ladrière, Jean, 1921-2007
Baskı/Yayın Bilgisi: (1992)

La logique
Yazar:: Cohen, Gilles, 1951-2023, mathématicien
Baskı/Yayın Bilgisi: (2004)

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

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

Méthodes de logique
Yazar:: Quine, Willard Van Orman, 1908-2000, philosophe
Baskı/Yayın Bilgisi: (1973)

Eléments de logique mathématique : théorie des modèles
Yazar:: Kreisel, Georg, 1923-2015, ve diğerleri
Baskı/Yayın Bilgisi: (1967)

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

Introduction à la logique
Yazar:: Rivenc, François, 1945-
Baskı/Yayın Bilgisi: (1989)

Logique sans peine
Yazar:: Carroll, Lewis, 1832-1898
Baskı/Yayın Bilgisi: (1966)

Logique et preuves mathématiques : l'essentiel pour l'étudiant
Yazar:: Mercuriali, Pierre, 1991-
Baskı/Yayın Bilgisi: (2024)

Theory reasoning in connection calculi
Yazar:: 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

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

Introduction à la logique
Yazar:: Delessert, André, 1923-2010
Baskı/Yayın Bilgisi: (1988)

La logique ou L'art de raisonner
Yazar:: Delmas-Rigoutsos, Yannis, 1969-, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Logique sans peine
Yazar:: Carroll, Lewis, 1832-1898
Baskı/Yayın Bilgisi: (1972)

Introduction à la logique
Yazar:: Tarski, Alfred, 1901-1983
Baskı/Yayın Bilgisi: (1971)

Introduction à la logique
Yazar:: Leroux, Jean, 1948-
Baskı/Yayın Bilgisi: (1998)

© 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