Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | German |
| Publicado: |
Wien :
Springer-Verlag,
1959.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00640nam a22001575a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb000850 | ||
| 008 | 031119s1959####au#######b####001#0#ger#d | ||
| 005 | 20160527114509.0 | ||
| 245 | 1 | 0 | |a Unvollständigkeit und Unentscheidbarkeit : |b die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / |c von Wolfgang Stegmüller. |
| 260 | |a Wien : |b Springer-Verlag, |c 1959. | ||
| 300 | |a 114 p. ; |c 23 cm. | ||
| 504 | |a Incluye referencias bibliográficas (p. [112]). | ||
| 510 | 4 | |a MR, |c 22 #2538 | |
| 100 | 1 | |a Stegmüller, Wolfgang. | |
| 084 | |a 03D35 (03E35) |2 msc2000 | ||
| 859 | |h 03 |i St817 |p A-672 |b BIB. MATEMATICA | ||