A decision method for validity of sentences in two variables (1962)

by D Scott
Venue:J. Symb. Logic