The Lambda Calculus : Its Syntax snd Semantics /

Barendregt, H. P

The Lambda Calculus : Its Syntax snd Semantics / H. P Barendregt - Amsterdam, Londra, New York North-Holland, American Elsevier 1985


Mathematical logic (Symbolic logic)

511.3

Powered by Koha