Type theory and formal proof : an introduction [ Livre] / Rob, Nederpelt / Herman, Geuvers

Auteur principal: Nederpelt, RobCo-auteur: Geuvers, HermanLangue: 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

Powered by Koha