1. Categories for types
پدیدآورنده : Crole, Roy L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Categories )Mathematics(,، Lambda, Calculus
رده :
QA
169
.
C685
1993
2. Categories for types
پدیدآورنده : Crole, Roy L
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Categories )Mathematics(,، Lambda calculus
رده :
QA
169
.
C685
1993
