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

$Logique mathématique$

Logique mathématique

Salvato in:

Dettagli Bibliografici
Autore principale:	Pabion, Jean-François, 1942-
Altri autori:	Guillaume, Marcel, 1928-2016 (Autore dell'introduzione etc.)
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris : Hermann DL 1976.
Serie:	Collection Méthodes
Soggetti:	Logique symbolique et mathématique Calcul des propositions Déduction (logique) Complétude, Théorème de
Nota:	Autre tirage : 2010
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

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

Completeness Theory for Propositional Logics
di: Pogorzelski, Witold A., 1927-, et al.

A Course on Mathematical Logic
di: Srivastava, Sashi Mohan, 19..-

Logique mathématique
di: Kleene, Stephen Cole, 1909-1994
Pubblicazione: (1987)

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

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

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

La logique, pas à pas
di: Duparc, Jacques, 1962-
Pubblicazione: (2015)

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
di: Devismes, Stéphane, 1979-, et al.
Pubblicazione: (2012)

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

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

Gentzen calculi for modal propositional logic
di: Poggiolesi, Francesca, 1980-

Système de logique déductive et inductive : exposé des principes de la preuve et des méthodes de recherche scientifique
di: Mill, John Stuart, 1806-1873, philosophe
Pubblicazione: (1880)

Introduction à la logique
di: Leroux, Jean, 1948-
Pubblicazione: (1998)

Notions de logique
di: Thiry, Philippe, 1949-
Pubblicazione: (1998)

Logique et complexité
di: Lassaigne, Richard, et al.
Pubblicazione: (1996)

QCM de mathématiques et de logique
di: Faury, Gérard, et al.
Pubblicazione: (2001)

Computers and intractability : A guide to the theory of NP-completeness
di: Garey, Michael R., et al.
Pubblicazione: (1979)

Complete theories
di: Robinson, Abraham, 1918-1974
Pubblicazione: (1956)

Notions de logique
di: Thiry, Philippe, 1949-
Pubblicazione: (2014)

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

Logique mathématique
di: Kleene, Stephen Cole, 1909-1994
Pubblicazione: (1971)

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
di: David, René, 1948-...., mathématicien, et al.
Pubblicazione: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
di: David, René, 1948-2022, mathématicien, et al.
Pubblicazione: (2004)

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

Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings

Le point aveugle : cours de logique Vers l'imperfection
di: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Pubblicazione: (2007)

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

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

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

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

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

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

Les théorèmes d'incomplétude de Gödel
di: Smullyan, Raymond Merrill, 1919-2017
Pubblicazione: (1993)

Le théorème de Gödel
di: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Pubblicazione: (1997)

The computer modelling of mathematical reasoning
di: Bundy, Alan R., 1947-
Pubblicazione: (1983)

Introduction à la logique
di: Rivenc, François, 1945-
Pubblicazione: (1989)

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

The blind spot : lectures on logic
di: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Pubblicazione: (2011)

© 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