The Stone gamut: A coordination of mathematics (1995)

by V R Pratt
Venue:In Logic in Computer Science