Logique, sémantique, métamathématique : 1923-1944...

Logique, sémantique, métamathématique : 2 1923-1944...

Enregistré dans:

Détails bibliographiques
Publié dans:	Logique, sémantique, métamathématique. 2
Auteur principal:	Tarski, Alfred, 1901-1983.
Autres auteurs:	Granger, Gilles-Gaston.
Support:	Livre
Langue:	Français
Publié:	Paris : A. Colin, 1974
Collection:	Philosophies pour l'âge de la science
Sujets:	Logique symbolique et mathématique. Sémantique. Métamathématique.
Lien:	Dans: Logique, sémantique, métamathématique.

Documents similaires

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1972)

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1997)

Méthodes de logique
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1973)

La logique
par: Largeault, Jean, 1931?-1995.
Publié: (1993)

Logique sans peine
par: Carroll, Lewis, 1832-1898.
Publié: (1966)

Logique élémentaire
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1972)

Logique mathématique : cours et exercices
par: Cori, René.
Publié: (1993)

Logique contemporaine et formalisation
par: Martin, Roger, docteur ès-lettres.
Publié: (1964)

Initiation à la logique
par: Dubarle, Dominique, 1907-1987.
Publié: (1957)

Introduction à la logique
par: Tarski, Alfred, 1901-1983.
Publié: (1971)

Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: (1969)

Introduction to metamathematics
par: Kleene, Stephen Cole.
Publié: (1971)

La logique formelle
par: Virieux-Reymond, Antoinette.
Publié: (1962)

Approche logique de l'intelligence artificielle.
Publié: (1988)

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

Cours de logique mathématique.
par: Fraïssé, Roland, 1920-
Publié: (1967)

Manuel de logique scientifique : remplaçant et complétant les Eléments de logique scientifique, 1942
par: Boll, Marcel, 1886-1958.
Publié: (1948)

Tractatus logico-philosophicus ; suivi de Investigations philosophiques
par: Wittgenstein, Ludwig, 1889-1951.
Publié: (1961)

Vers une logique des significations
par: Piaget, Jean, 1896-1980.
Publié: (1987)

Les contre-exemples en mathématiques
par: Hauchecorne, Bertrand, 1950-...., professeur en mathématiques.
Publié: (1988)

Logique et complexité
par: Lassaigne, Richard.
Publié: (1996)

Ethnlogie des sciences et logiques de la science
par: Guille-Escuret, Georges.
Publié: (1991)

Prise en compte du méta en didactique des mathématiques
par: Robert, Aline.
Publié: (1993)

Sémantiques
Publié: (1998)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
par: Ponasse, Daniel.
Publié: (1967)

Elements of symbolic logic
par: Reichenbach, Hans, 1891-1953.
Publié: (1966)

Ontologie und logistische Analyse der Sprache : eine Untersuchung zur zeitgenössischen Universaliendiskussion
par: Küng, Guido, 1933-
Publié: (1963)

Logique, sir !.
par: Lehning, Hervé.
Publié: (1990)

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
par: David, René, 1948-
Publié: (2001)

Logique binaire et ordinateurs.
par: Aumiaux, Michel.
Publié: (1974)

Sémantique linguistique et logique : un exemple : la théorie de R. Montague
par: Galmiche, Michel, 1943?-1992.
Publié: (1991)

La Sémantique
par: Guiraud, Pierre, 1912-1983.
Publié: (1972)

La Magie des paradoxes
par: Gardner, Martin.
Publié: (1980)

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
par: Leibniz, Gottfried Wilhelm, 1646-1716.
Publié: (1961)

Penser les mathématiques
Publié: (1982)

Sémantique et mathématique : apprendre-enseigner l'arithmétique simple
par: Ehrlich, Stéphane.
Publié: (1990)

La machine en logique
par: Wagner, Pierre, 1963-
Publié: (1998)

Pédagogie des structures logiques élémentaires
par: Jaulin-Mannoni, Francine.
Publié: (1973)

Dire et ne pas dire : principes de sémantique linguistique
par: Ducrot, Oswald, 1930-2024.
Publié: (1972)

Raisonnements sur des informations incomplètes en intelligence artificielle : comparaison de formalismes à partir d'un exemple
par: Sombé, Léa, pseud. coll.
Publié: (1989)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1