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

Introduction à la logique

Introduction à la logique

Enregistré dans:

Détails bibliographiques
Auteur principal:	Delessert, André, 1923-2010
Format:	Livre papier
Langue:	Français
Publié:	Lausanne : Presses polytechniques romandes C 1988.
Collection:	Mathématiques
Sujets:	Logique symbolique et mathématique Logique mathématique non classique
Autres localisations:	Voir dans le Sudoc

Documents similaires

Logique mathématique
par: Kleene, Stephen Cole, 1909-1994
Publié: (1971)

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

Logique mathématique
par: Kleene, Stephen Cole, 1909-1994
Publié: (1987)

Modal logics
par: Feys, Robert, 1889-1961
Publié: (1965)

Introduction à la logique
par: Rivenc, François, 1945-
Publié: (1989)

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

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

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

Introduction à la logique
par: Leroux, Jean, 1948-
Publié: (1998)

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

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

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

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

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

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

A mathematical introduction to logic
par: Enderton, Herbert, 1936-2010
Publié: (1972)

Logique et modélisation : modèles consistants, données compatibles
par: Gondran, Michel, et autres
Publié: (1995)

Logique interne : [modèles et applications]
par: Gauthier, Yvon, 1941-
Publié: (1997)

De la logique à l'argumentation
par: Grize, Jean Blaise, 1922-2013, logicien
Publié: (2015)

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

Logique combinatoire
par: Lagasse, Jean, 1924-2003, et autres
Publié: (1976)

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

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

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

La logique
par: Cohen, Gilles, 1951-2023, mathématicien
Publié: (2004)

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

Logique et théorie des systèmes digitaux
par: Thayse, André, 1940-
Publié: (2002)

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

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

Écrits logiques et philosophiques
par: Frege, Gottlob, 1848-1925
Publié: (1971)

La logique ou L'art de raisonner
par: Delmas-Rigoutsos, Yannis, 1969-, et autres
Publié: (2000)

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

A concise introduction to mathematical logic
par: Rautenberg, Wolfgang, 1936-

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

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

La logique interne
par: Gauthier, Yvon, 1941-
Publié: (1991)

Logique. Méthodes formelles pour l'étude des programmes
par: Gochet, Paul, 1932-2011, et autres
Publié: (1994)

Logique binaire et ordinateurs. Hardware et conception des ensembles logiques
par: Aumiaux, Michel
Publié: (1973)

Theorems and counterexamples in mathematics
par: Gelbaum, Bernard R., 1922-2005, et autres
Publié: (1990)

© 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