Поиск в словарях
Lcf
Logic for Computable Functions