(The) lambda calculus [ Livre] : its syntax and semantics / Barendregt Hendrik Pieter

Langue: Anglais.Publication : Elsevier, 1984Description : 621 p. ; 23 CMISBN: 0444875085.Collection: Studies in logic and the foundations of mathematics, 103Classification: 511 Théorie des nombresSujet - Nom commun: Lambda-calcul
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 BAR (Browse shelf) Available F 4 1 Logique mathématique 00010098

Bibliogr. Index

Powered by Koha