The Curry-Howard Isomorphism / Ph. de GROOTE

Public ISBD Titre : The Curry-Howard Isomorphism Type de document : texte imprimé Auteurs : Ph. de GROOTE, Auteur Editeur : Louvain-la-Neuve : Academia Année de publication : 1995 Collection : Cahiers du centre de logique num. 8 Importance : 1 vol. (364 p.) Format : 23 cm ISBN/ISSN/EAN : 978-2-87209-363-2 Note générale : Don de Vincent Degauquier Langues : Anglais (eng) Langues originales : Anglais (eng) Mots-clés : Logique  Informatique  Démonstration Index. décimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence The Curry-Howard Isomorphism [texte imprimé] / Ph. de GROOTE, Auteur . - Louvain-la-Neuve : Academia, 1995 . - 1 vol. (364 p.) ; 23 cm. - (Cahiers du centre de logique; 8) . ISBN : 978-2-87209-363-2 Don de Vincent Degauquier Langues : Anglais (eng) Langues originales : Anglais (eng) Mots-clés : Logique  Informatique  Démonstration Index. décimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
02817	5.01 GRO	Ouvrages théoriques & autres	5. Mathématiques	Livre	Disponible	Consultable sur place, même si en prêt

---

1 (1 - 1 / 1) Par page : 25 50 100 200