Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.