Cinq conférences sur l'indécidabilité :: SCD d'Orléans

Cinq conférences sur l'indécidabilité

Cinq conférences sur l'indécidabilité

Guardat en:

Dades bibliogràfiques
Autors principals:	Bouleau, Nicolas, 1945-, Girard, Jean-Yves, 1947- (Autor), Louveau, Alain, 1947- (Autor)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Presses de l'École nationale des Ponts et chaussées impr. 1983.
Matèries:	Décidabilité (logique mathématique) Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Ítems similars

Le dixième problème de Hilbert : son indécidabilité
per: Matiâsevič, Ûrij Vladimirovič, 1947-
Publicat: (1995)

Solvable cases of the decision problem
per: Ackermann, Wilhelm, 1896-1962
Publicat: (1954)

A mathematical introduction to logic
per: Enderton, Herbert, 1936-2010
Publicat: (1972)

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

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

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

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

Introduction to the theory of computation
per: Sipser, Michael
Publicat: (2006)

Complexité et décidabilité
per: Dehornoy, Patrick, 1952-2019, mathématicien
Publicat: (1993)

Introduction à la calculabilité : cours et exercices corrigés
per: Wolper, Pierre, 1955-
Publicat: (2001)

Introduction à la calculabilité
per: Wolper, Pierre, 1955-
Publicat: (1991)

L'enfermement et les issues de l'indécidabilité
per: Duez, Bernard
Publicat: (2005)

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

Conference in mathematical logic, London '70

Séminaire général de logique, 1982-83
per: Delon, Françoise, 19..-, et al.
Publicat: (1984)

Conference in mathematical logic, London '70
Publicat: (1972)

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

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

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

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

Modal logics
per: Feys, Robert, 1889-1961
Publicat: (1965)

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

Triangular Norms
per: Klement, Erich Peter, et al.

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

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

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

An introduction to modal logic
per: Hughes, George Edward, 1918-, et al.
Publicat: (1968)

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

Mathematical Problems from Applied Logic. Logics for the XXIst Century
per: Gabbay, Dov M., 1945-

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

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

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

The Axiom of Constructibility: A Guide for the Mathematician
per: Devlin, Keith J., 1947-

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

Introduction à la logique
per: Leroux, Jean, 1948-
Publicat: (1998)

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

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
per: Bernays, Paul, 1888-1977, et al.
Publicat: (1958)

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

Specifying message passing and time-critical systems with temporal logic
per: Koymans, Ron, 1959-

Studia logica
Publicat: (2002)

© 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