On the lambda definable higher-order boolean functionals

Tytuł:
On the lambda definable higher-order boolean functionals
Czasopismo:
Rok:
1989

Strony:
181-190

Tom (seria wydawnicza):
12