The clausal theory of types (1990)

by D Wolfram