Méthodes de logique :: SCD d'Orléans

Méthodes de logique

Méthodes de logique

Salvato in:

Dettagli Bibliografici
Autore principale:	Quine, Willard Van Orman, 1908-2000, philosophe
Altri autori:	Clavelin, Maurice, 1927-2024, philosophe (Traduttore)
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris : Armand Colin DL 1973.
Serie:	Collection U
Soggetti:	Logique symbolique et mathématique Logique
Nota:	Traduit de : "Methods of logic"
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Elementary logic
di: Quine, Willard Van Orman, 1908-2000, philosophe
Pubblicazione: (1965)

Le mot et la chose
di: Quine, Willard Van Orman, 1908-2000, philosophe
Pubblicazione: (1978)

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

Logique sans peine
di: Carroll, Lewis, 1832-1898
Pubblicazione: (1966)

Logique combinatoire
di: Lagasse, Jean, 1924-2003, et al.
Pubblicazione: (1976)

Introduction à la logique
di: Delessert, André, 1923-2010
Pubblicazione: (1988)

Logique. Méthodes formelles pour l'étude des programmes
di: Gochet, Paul, 1932-2011, et al.
Pubblicazione: (1994)

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

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

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

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

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

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

La logique
di: Cohen, Gilles, 1951-2023, mathématicien
Pubblicazione: (2004)

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

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

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

Logique sans peine
di: Carroll, Lewis, 1832-1898
Pubblicazione: (1972)

Introduction à la logique
di: Tarski, Alfred, 1901-1983
Pubblicazione: (1971)

Logique et raisonnement
di: Freund, Michael, 1944-...., philosophe
Pubblicazione: (2016)

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

Logique. Méthodes pour l'intelligence artificielle
di: Gochet, Paul, 1932-2011, et al.
Pubblicazione: (2000)

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

Logique séquentielle
di: Lagasse, Jean, 1924-2003, et al.
Pubblicazione: (1976)

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)

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

Ecrits logiques
di: Herbrand, Jacques, 1908-1931, et al.
Pubblicazione: (1968)

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

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

Écrits logiques et philosophiques
di: Frege, Gottlob, 1848-1925
Pubblicazione: (1971)

Logiques non monotones et intelligence artificielle
di: Grégoire, Eric
Pubblicazione: (1990)

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

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

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

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

La logique interne
di: Gauthier, Yvon, 1941-
Pubblicazione: (1991)

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

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

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

© 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