Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Autor:
Henk Barendregt
Dostupnosť:
Skladom u dodávateľa
Odosielame za 9-15 dní
17.77
€