Solvable cases of the decision problem
Uloženo v:
| Hlavní autor: | Ackermann, Wilhelm, 1896-1962 |
|---|---|
| Médium: | Livre papier |
| Jazyk: | Anglais |
| Vydáno: |
Amsterdam :
North-Holland Publishing Co.
1954.
|
| Edice: | Studies in logic and the foundations of mathematics
|
| Témata: | |
| Poznámka: |
Autres tirages : 1962, 1968 |
| Autres localisations: | Voir dans le Sudoc |
Podobné jednotky
-
Cinq conférences sur l'indécidabilité
(Livre papier)
Bouleau, Nicolas, 1945-, a další
Presses de l'École nationale des Ponts et chaussées, 1983 -
A mathematical introduction to logic
(Livre papier)
Enderton, Herbert, 1936-2010
Academic Press, 1972 -
Le dixième problème de Hilbert : son indécidabilité
(Livre papier)
Matiâsevič, Ûrij Vladimirovič, 1947-
Masson, 1995 -
Logique et complexité
(Livre papier)
Lassaigne, Richard, a další
Hermès, 1996 -
Büchi's monadic second order successor arithmetic
(Livre numérique)
Siefkes, Dirk