Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Autor:
Henk Barendregt
Dostupnost:
Skladem u dodavatele
Odesíláme za 9-15 dnů
431
Kč