Degrees of unsolvability :: SCD d'Orléans

Degrees of unsolvability

Degrees of unsolvability

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Shoenfield, Joseph Robert, 1927-2000
Médium:	Livre papier
Jazyk:	Anglais
Vydáno:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier 1971.
Edice:	North-Holland mathematics studies 2
Témata:	Fonctions récursives Non-résolubilité (logique mathématique) Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Degrees of unsolvability
Autor: Sacks, Gerald, 1933-2019
Vydáno: (1966)

Computability and unsolvability
Autor: Davis, Martin, 1928-2023
Vydáno: (1958)

Degrees of unsolvability : structure and theory
Autor: Epstein, Richard L., 1947-
Vydáno: (1979)

Degrees of Unsolvability : Structure and Theory
Autor: Epstein, Richard L., 1947-

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Autor: Davis, Martin, 1928-2023, a další
Vydáno: (1965)

Recursive function theory and logic
Autor: Yasuhara, Ann Harris, 1932-2014
Vydáno: (1971)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Vydáno: (1965)

Techniques of Admissible Recursion Theory
Autor: Chong, Chi-Tat, 1949-...., mathématicien

Computability and logic
Autor: Boolos, George, 1940-1996, a další
Vydáno: (1974)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
Autor: Cori, René, a další
Vydáno: (1993)

Mathematical foundations of programming
Autor: Beckman, Frank S., 1921-2009
Vydáno: (1980)

Mathematical logic
Autor: Shoenfield, Joseph Robert, 1927-2000
Vydáno: (1967)

Modal logics
Autor: Feys, Robert, 1889-1961
Vydáno: (1965)

Complexité et décidabilité
Autor: Dehornoy, Patrick, 1952-2019, mathématicien
Vydáno: (1993)

Introduction à la calculabilité
Autor: Wolper, Pierre, 1955-
Vydáno: (1991)

Introduction à la logique
Autor: Delessert, André, 1923-2010
Vydáno: (1988)

Logique mathématique
Autor: Kleene, Stephen Cole, 1909-1994
Vydáno: (1971)

Logiques non monotones et intelligence artificielle
Autor: Grégoire, Eric
Vydáno: (1990)

Méthodes de logique
Autor: Quine, Willard Van Orman, 1908-2000, philosophe
Vydáno: (1973)

Ideal Spaces
Autor: Väth, Martin, 1967-...., mathématicien

Recursion on the countable functionals
Autor: Normann, Dag, 1947-

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
Autor: Eijck, Jan van, informaticien

The nature of computation : logic, algorithms, applications : proceedings
Vydáno: (2013)

Logique mathématique
Autor: Kleene, Stephen Cole, 1909-1994
Vydáno: (1987)

Solvable cases of the decision problem
Autor: Ackermann, Wilhelm, 1896-1962
Vydáno: (1954)

Notes on logic
Autor: Lyndon, Roger Conant, 1917-1988
Vydáno: (1966)

Cinq conférences sur l'indécidabilité
Autor: Bouleau, Nicolas, 1945-, a další
Vydáno: (1983)

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

Introduction à la logique
Autor: Rivenc, François, 1945-
Vydáno: (1989)

Logique sans peine
Autor: Carroll, Lewis, 1832-1898
Vydáno: (1966)

A mathematical introduction to logic
Autor: Enderton, Herbert, 1936-2010
Vydáno: (1972)

Handbook of mathematical logic
Autor: Barwise, Jon, 1942-2000, logicien
Vydáno: (1977)

Elementary logic
Autor: Quine, Willard Van Orman, 1908-2000, philosophe
Vydáno: (1965)

An introduction to modal logic
Autor: Hughes, George Edward, 1918-, a další
Vydáno: (1968)

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

Computations in higher types
Autor: Moldestad, Johan, 1946-

Logique et modélisation : modèles consistants, données compatibles
Autor: Gondran, Michel, a další
Vydáno: (1995)

Nonmonotonic logics : basic concepts, results, and techniques
Autor: Schlechta, Karl, 1948-

Logique interne : [modèles et applications]
Autor: Gauthier, Yvon, 1941-
Vydáno: (1997)

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
Autor: Bernays, Paul, 1888-1977, a další
Vydáno: (1958)

© 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