DaftarIsitemplate

Call Number

511.3 Bar L

Title

The lamda calculus :studies in logic and the foundations of mathematics

Author

Barendregt, H.P;

Publisher

Amsterdam,the netherlands, Elsevier science, 1984

Subject

Location

FASILKOM-UI;