Introduction à la logique mathématique :: SCD d'Orléans

$Introduction à la logique mathématique$

Introduction à la logique mathématique

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Novikov, Petr Sergeevich, 1901-1975
Beste egile batzuk:	Sarthou, Charles, traducteur (Itzultzailea)
Formatua:	Livre papier
Hizkuntza:	Français
Argitaratua:	Paris : Dunod 1964.
Saila:	Collection universitaire de mathématiques 14
Gaiak:	Logique symbolique et mathématique
Oharra:	Traduit du russe : "Elementi matematicheskoi logiki"
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

Elements of mathematical logic
nork: Novikov, Petr Sergeevich, 1901-1975
Argitaratua: (1964)

Introduction à la logique
nork: Tarski, Alfred, 1901-1983
Argitaratua: (1971)

Logique mathématique
nork: Kleene, Stephen Cole, 1909-1994
Argitaratua: (1971)

Introduction à la logique
nork: Rivenc, François, 1945-
Argitaratua: (1989)

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

Introduction à la logique
nork: Delessert, André, 1923-2010
Argitaratua: (1988)

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

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

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

Introduction à la logique
nork: Leroux, Jean, 1948-
Argitaratua: (1998)

Logique mathématique
nork: Kleene, Stephen Cole, 1909-1994
Argitaratua: (1987)

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

Eléments de logique mathématique : théorie des modèles
nork: Kreisel, Georg, 1923-2015, et al.
Argitaratua: (1967)

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

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

Logique et preuves mathématiques : l'essentiel pour l'étudiant
nork: Mercuriali, Pierre, 1991-
Argitaratua: (2024)

Logique sans peine
nork: Carroll, Lewis, 1832-1898
Argitaratua: (1966)

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

Mais c'est logique ! : maîtriser la logique pour devenir un as des maths, dès 10 ans
nork: Fabian Montabert, Andrea, 1975-
Argitaratua: (2025)

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

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

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

Logique sans peine
nork: Carroll, Lewis, 1832-1898
Argitaratua: (1972)

La logique
nork: Cohen, Gilles, 1951-2023, mathématicien
Argitaratua: (2004)

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

Logique et complexité
nork: Lassaigne, Richard, et al.
Argitaratua: (1996)

Introduction à la logique : théorie de la démonstration
nork: David, René, 1948-2022, mathématicien, et al.
Argitaratua: (2025)

Logique combinatoire
nork: Lagasse, Jean, 1924-2003, et al.
Argitaratua: (1976)

Logique et modélisation : modèles consistants, données compatibles
nork: Gondran, Michel, et al.
Argitaratua: (1995)

Logique binaire et ordinateurs. Hardware et conception des ensembles logiques
nork: Aumiaux, Michel
Argitaratua: (1973)

Introduction to logic and to the methodology of deductive sciences
nork: Tarski, Alfred, 1901-1983
Argitaratua: (1965)

La logique interne
nork: Gauthier, Yvon, 1941-
Argitaratua: (1991)

La logique ou L'art de raisonner
nork: Delmas-Rigoutsos, Yannis, 1969-, et al.
Argitaratua: (2000)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Argitaratua: (1977)

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

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
nork: Patarin, Jacques, 1965-...., informaticien
Argitaratua: (2020)

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
nork: Patarin, Jacques, 1965-
Argitaratua: (2020)

Écrits logiques et philosophiques
nork: Frege, Gottlob, 1848-1925
Argitaratua: (1971)

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

Éléments de logique formelle
nork: Chazal, Gérard, 1947-
Argitaratua: (1996)

© 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