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

Introduction à la logique

Introduction à la logique

Сохранить в:

Библиографические подробности
Главный автор:	Rivenc, François, 1945-
Другие авторы:	Bouveresse, Jacques, 1940-2021 (Автор введения и т.д.)
Формат:	Livre papier
Язык:	Français
Опубликовано:	Paris : Payot DL 1989.
Серии:	Petite bibliothèque Payot 14
Предметы:	Logique Logique symbolique et mathématique
Примечание:	Autres tirages : 1993, 1996
Autres localisations:	Voir dans le Sudoc

Схожие документы

Introduction à la logique
по: Delessert, André, 1923-2010
Опубликовано: (1988)

Introduction à la logique
по: Leroux, Jean, 1948-
Опубликовано: (1998)

Introduction à la logique
по: Tarski, Alfred, 1901-1983
Опубликовано: (1971)

Introduction à la logique pertinente
по: Rivenc, François, 1945-
Опубликовано: (2005)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
по: Vernant, Denis, 1948-
Опубликовано: (2001)

Introduction à la logique mathématique
по: Novikov, Petr Sergeevich, 1901-1975
Опубликовано: (1964)

Méthodes de logique
по: Quine, Willard Van Orman, 1908-2000, philosophe
Опубликовано: (1973)

Logique sans peine
по: Carroll, Lewis, 1832-1898
Опубликовано: (1966)

Logique combinatoire
по: Lagasse, Jean, 1924-2003, и др.
Опубликовано: (1976)

De la logique à l'argumentation
по: Grize, Jean Blaise, 1922-2013, logicien
Опубликовано: (2015)

Logique et modélisation : modèles consistants, données compatibles
по: Gondran, Michel, и др.
Опубликовано: (1995)

Penser la logique : une introduction technique et théorique à la philosophie de la logique et du langage
по: Hottois, Gilbert, 1946-2019
Опубликовано: (2002)

Logique mathématique
по: Kleene, Stephen Cole, 1909-1994
Опубликовано: (1971)

Logique et complexité
по: Lassaigne, Richard, и др.
Опубликовано: (1996)

Logique interne : [modèles et applications]
по: Gauthier, Yvon, 1941-
Опубликовано: (1997)

La logique
по: Cohen, Gilles, 1951-2023, mathématicien
Опубликовано: (2004)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Опубликовано: (1977)

Cours de logique mathématique. Relation et formule logique
по: Fraïssé, Roland, 1920-2008, mathématicien
Опубликовано: (1971)

Logique mathématique
по: Pabion, Jean-François, 1942-
Опубликовано: (1976)

Logique sans peine
по: Carroll, Lewis, 1832-1898
Опубликовано: (1972)

Logique. Méthodes formelles pour l'étude des programmes
по: Gochet, Paul, 1932-2011, и др.
Опубликовано: (1994)

Logique séquentielle
по: Lagasse, Jean, 1924-2003, и др.
Опубликовано: (1976)

A mathematical introduction to logic
по: Enderton, Herbert, 1936-2010
Опубликовано: (1972)

Cours de logique mathématique. Récursivité et constructibilité
по: Fraïssé, Roland, 1920-2008, mathématicien
Опубликовано: (1975)

Cours de logique mathématique. Théorie des modèles
по: Fraïssé, Roland, 1920-2008, mathématicien
Опубликовано: (1972)

Éléments de logique formelle
по: Chazal, Gérard, 1947-
Опубликовано: (1996)

Écrits logiques et philosophiques
по: Frege, Gottlob, 1848-1925
Опубликовано: (1971)

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

Logiques non monotones et intelligence artificielle
по: Grégoire, Eric
Опубликовано: (1990)

La logique ou L'art de raisonner
по: Delmas-Rigoutsos, Yannis, 1969-, и др.
Опубликовано: (2000)

Logique binaire et ordinateurs. Hardware et conception des ensembles logiques
по: Aumiaux, Michel
Опубликовано: (1973)

An introduction to modal logic
по: Hughes, George Edward, 1918-, и др.
Опубликовано: (1968)

Logique mathématique
по: Kleene, Stephen Cole, 1909-1994
Опубликовано: (1987)

Logique. Méthodes pour l'intelligence artificielle
по: Gochet, Paul, 1932-2011, и др.
Опубликовано: (2000)

La logique, un aiguillon pour la pensée
по: Delahaye, Jean-Paul, 1952-
Опубликовано: (2012)

Logique. Méthodes pour l'informatique fondamentale
по: Gochet, Paul, 1932-2011, logicien, и др.
Опубликовано: (1990)

La logique interne
по: Gauthier, Yvon, 1941-
Опубликовано: (1991)

Mais c'est logique ! : maîtriser la logique pour devenir un as des maths, dès 10 ans
по: Fabian Montabert, Andrea, 1975-
Опубликовано: (2025)

Logique et théorie des systèmes digitaux
по: Thayse, André, 1940-
Опубликовано: (2002)

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
по: David, René, 1948-...., mathématicien, и др.
Опубликовано: (2025)

© 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