Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Автор:
Henk Barendregt
Наличност:
Външен склад
Изпращаме след 9-15 дни
18.67
€
36.52 лв