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

Introduction à la logique

Introduction à la logique

Guardat en:

Dades bibliogràfiques
Autor principal:	Leroux, Jean, 1948-
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Diderot DL 1998.
Col·lecció:	Bibliothèque des sciences
Matèries:	Calcul des prédicats Logique symbolique et mathématique Logique
Autres localisations:	Voir dans le Sudoc

Ítems similars

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

Logique. Méthodes pour l'informatique fondamentale
per: Gochet, Paul, 1932-2011, logicien, et al.
Publicat: (1990)

Eléments de logique classique : avec exercices résolus et questionnaire d'examen
per: Mutombo, Marc
Publicat: (2003)

Logique mathématique
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1987)

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

Manuel de logique : introduction à la logique des dialogues : exercices corrigés : manuel de logique
per: McConaughey, Zoé, 1991-
Publicat: (2026)

Introduction à la logique contemporaine
per: Blanché, Robert, 1898-1975
Publicat: (1969)

Büchi's monadic second order successor arithmetic
per: Siefkes, Dirk

Eine Termlogik mit Auswahloperator
per: Hermes, Hans, 1912-2003

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (1998)

Non-standard inferences in description logics
per: Küsters, Ralf, 1972-...., informaticien

Büchi's monadic second order successor arithmetic
per: Siefkes, Dirk
Publicat: (1970)

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (2014)

Logique et complexité
per: Lassaigne, Richard, et al.
Publicat: (1996)

Logique mathématique. Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices
per: Cori, René, mathématicien, et al.
Publicat: (1993)

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

The logic system of concept graphs with negation : and its relationship to predicate logic
per: Dau, Frithjof

Introduction à la logique
per: Rivenc, François, 1945-
Publicat: (1989)

Introduction à la logique
per: Delessert, André, 1923-2010
Publicat: (1988)

Calcul différentiel pour les langues de la logique : théorie et applications
per: Thayse, André, 1940-
Publicat: (2004)

Part-whole reasoning in an object-centered framework
per: Lambrix, Patrick, 19..-

Logique pour l'informatique
per: Jaume, Mathieu, 1968-2023, et al.
Publicat: (2020)

Logique pour l'informatique
per: Jaume, Mathieu, 1968-2023, et al.
Publicat: (2020)

Logique(s), langages formels et complexité pour l'informatique
per: Jussien, Narendra, 1973-
Publicat: (2006)

Introduction à la logique
per: Tarski, Alfred, 1901-1983
Publicat: (1971)

Sur la logique des prépositions
per: Martin, Robert
Publicat: (2018)

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

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (1996)

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

Lambda-calcul : types et modèles
per: Krivine, Jean-Louis, 1939-
Publicat: (1990)

Logique sans peine
per: Carroll, Lewis, 1832-1898
Publicat: (1966)

Logique combinatoire
per: Lagasse, Jean, 1924-2003, et al.
Publicat: (1976)

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

Journal of logic and computation.
Publicat: (1990)

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

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

Logique mathématique
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1971)

The nature of computation : logic, algorithms, applications : proceedings
Publicat: (2013)

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

La logique
per: Cohen, Gilles, 1951-2023, mathématicien
Publicat: (2004)

© 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