Logique mathématique :: SCD d'Orléans

$Logique mathématique$

Logique mathématique

Spremljeno u:

Bibliografski detalji
Glavni autor:	Kleene, Stephen Cole, 1909-1994
Daljnji autori:	Largeault, Jean, 1930-1995 (Prevodilac)
Format:	Livre papier
Jezik:	Français
Izdano:	Paris : Armand Colin DL 1971.
Serija:	Collection U. Série Épistémologie
Teme:	Mathématiques > Philosophie Logique symbolique et mathématique Logique mathématique non classique
Autres localisations:	Voir dans le Sudoc

Similar Items

Logique mathématique
od: Kleene, Stephen Cole, 1909-1994
Izdano: (1987)

Introduction à la logique
od: Delessert, André, 1923-2010
Izdano: (1988)

Logiques non monotones et intelligence artificielle
od: Grégoire, Eric
Izdano: (1990)

Modal logics
od: Feys, Robert, 1889-1961
Izdano: (1965)

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

Introduction to metamathematics
od: Kleene, Stephen Cole, 1909-1994
Izdano: (1952)

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
od: Bernays, Paul, 1888-1977, i dr.
Izdano: (1958)

Logique interne : [modèles et applications]
od: Gauthier, Yvon, 1941-
Izdano: (1997)

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
od: Eijck, Jan van, informaticien

Le raisonnement mathématique
od: Daval, Roger, 1911-1994, i dr.
Izdano: (1945)

Écrits logiques et philosophiques
od: Frege, Gottlob, 1848-1925
Izdano: (1971)

Cours de logique mathématique. Relation et formule logique
od: Fraïssé, Roland, 1920-2008, mathématicien
Izdano: (1971)

Cours de logique mathématique. Récursivité et constructibilité
od: Fraïssé, Roland, 1920-2008, mathématicien
Izdano: (1975)

Cours de logique mathématique. Théorie des modèles
od: Fraïssé, Roland, 1920-2008, mathématicien
Izdano: (1972)

La logique, un aiguillon pour la pensée
od: Delahaye, Jean-Paul, 1952-
Izdano: (2012)

Introduction à la logique mathématique
od: Novikov, Petr Sergeevich, 1901-1975
Izdano: (1964)

La logique interne
od: Gauthier, Yvon, 1941-
Izdano: (1991)

Penser la logique : une introduction technique et théorique à la philosophie de la logique et du langage
od: Hottois, Gilbert, 1946-2019
Izdano: (2002)

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

Méthodes de logique
od: Quine, Willard Van Orman, 1908-2000, philosophe
Izdano: (1973)

Introduction pratique aux logiques non classiques : avec exercices corrigés
od: Bernadet, Maurice, 19..-...., ingénieur
Izdano: (2011)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
od: Vernant, Denis, 1948-
Izdano: (2001)

Introduction à la logique
od: Rivenc, François, 1945-
Izdano: (1989)

Logique sans peine
od: Carroll, Lewis, 1832-1898
Izdano: (1966)

Les mathématiques et le raisonnement "plausible"
od: Pólya, George, 1887-1985
Izdano: (1958)

Epistémologie mathématique et psychologie : essai sur les relations entre la logique formelle et la pensée réelle
od: Beth, Evert Willem, 1908-1964, i dr.
Izdano: (1961)

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

Logique et modélisation : modèles consistants, données compatibles
od: Gondran, Michel, i dr.
Izdano: (1995)

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

Penser les mathématiques
Izdano: (1982)

Contemporary philosophy : a survey = = La philosophie contemporaine : chroniques Logic and foundations of mathematics, = Logique et fondements des mathématiques
Izdano: (1968)

Eléments de logique mathématique : théorie des modèles
od: Kreisel, Georg, 1923-2015, i dr.
Izdano: (1967)

Logique et complexité
od: Lassaigne, Richard, i dr.
Izdano: (1996)

La logique interne des théories physiques
od: Gauthier, Yvon, 1941-
Izdano: (1992)

Introduction à la logique
od: Leroux, Jean, 1948-
Izdano: (1998)

Éléments de mathématiques modernes
od: Richardson, Moses, 1911-1968
Izdano: (1968)

Introduction à la logique
od: Tarski, Alfred, 1901-1983
Izdano: (1971)

Logique sans peine
od: Carroll, Lewis, 1832-1898
Izdano: (1972)

De la logique à l'argumentation
od: Grize, Jean Blaise, 1922-2013, logicien
Izdano: (2015)

© 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