Studies in illative combinatory logic (1968)

by Jonathan P Seldin