Gödel's Theorems; a Workbook on Formalization /
Hlavní autor: |
Huber-Dyson, Verena
(
Autor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Stuttgart :
Teubner,
1991
|
Edice: |
Teubner Texte zur Mathematik ;
122 |
Předmět: | |