Lattice theoretic models for various type-free calculi (1972)

by D Scott
Venue:In Proceedings 4th International Congress in Logic and Methodology and Philosophy of Science