Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Szerző:
Henk Barendregt
Elérhetőség:
Beszállítói készleten
Küldés 9-15 napon belül
7 196
Ft