Type theory and formal proof : an introduction [ Livre] / Rob, Nederpelt / Herman, Geuvers
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge, New York : Cambridge University Press, 2014Description : 1 vol. (xxv, 436 p.) ; 26 cmISBN: 9781107036505.Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Types, Théorie des| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 NED (Browse shelf) | Available | F 4 1 Logique mathématique | 030859 |