Recursion theoretic operators and morphisms on numbered sets
Autor Barendregt, Hendrik Pieter, 1947- Vydáno: 1981
Kniha
Lambda-isčislenije : jego sintaksis i semantika
Autor Barendregt, Hendrik Pieter, 1947- Vydáno: 1985
Kniha