# Gödel's theorems : a workbook on formalization

> Fiche œuvre du catalogue https://superlivre.fr/livre/godels-theorems-cb373830696 (données du dépôt légal BnF).

- **Auteur** : [Verena Huber-Dyson](https://superlivre.fr/auteur/verena-huber-dyson-cb12396119z) (1923–2016)
- **Première parution** : 1991
- **Langue** : français
- **Genres** : [Théorème de Gödel](https://superlivre.fr/genre/theoreme-de-godel-cb119412145)
- **Éditions recensées** : 1 (1991–1991)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1991 | [impr. de B. G. Teubner](https://superlivre.fr/editeur/b-g-teubner) | Stuttgart. - Leipzig | 292 | 3-8154-2023-7 |