Lambda-uchislenie Ego sintaksis i semantika
Barendregt, H
Lambda-uchislenie Ego sintaksis i semantika H. Barendregt; trad. din lb. engleza: G. E. Mintsa - Moskva Mir 1985 - 606 p ill.; portr 22 cm
Cuprinde bibliografie si index Scriere chirilica The Lambda Calculus; Its Syntax and Semantics - H. P. Barendregt (Amsterdam; New York; Oxford North-Holland Publishing Company 1981); (Studies in Logic and the Foundations of Mathematics - 103)
510.2 510.6
Lambda-uchislenie Ego sintaksis i semantika H. Barendregt; trad. din lb. engleza: G. E. Mintsa - Moskva Mir 1985 - 606 p ill.; portr 22 cm
Cuprinde bibliografie si index Scriere chirilica The Lambda Calculus; Its Syntax and Semantics - H. P. Barendregt (Amsterdam; New York; Oxford North-Holland Publishing Company 1981); (Studies in Logic and the Foundations of Mathematics - 103)
510.2 510.6