The Lambda Calculus: Its Syntax and SemanticseBookThe Lambda Calculus: Its Syntax and SemanticskaryaH.P. BarendregtPenilaian: 5 dari 5 bintang5/5Simpan The Lambda Calculus: Its Syntax and Semantics untuk nanti
Studies in Logic and the Foundations of MathematicsSeri eBookStudies in Logic and the Foundations of MathematicskaryaK. KunenSimpan Studies in Logic and the Foundations of Mathematics untuk nanti
