Notes on the formalization of logic (1981)

by D Scott