Logic for Computable Functions Description Artificial Intelligence Project Memo AIM-169 (1972)

by R Milner