Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Autor:
Henk Barendregt
Dostępność:
Dostępna u dostawcy
Wysyłamy za 9-15 dni
79.39
zł