The unprovability of consistency : an essay in modal logic [monographie] |
| Auteur(s): | Boolos, George (1940-1996) |
| Langue: | anglais |
| Editeur, date d'édition: | Cambridge University Press, 1979 |
| Ville(s) d'édition: | Cambridge (GB), London (GB), New York (US) |
| ISBN: | 0-521-21879-9 |
| Classification MSC: | 03B45 (2000) |
| Notes: | viii ; notes pp 176-179 ; bibliogr. pp 180-182 ; index pp 183-184 ; 22 cm ; 184 p. |
| Thèmes: | logic, logique modale, theorie de la demonstration, proof theory, modality, consistance |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BOO 79 | Disponible |