The Stone gamut: A coordination of mathematics (1995)

by V Pratt
Venue:In 10th Annual Symposium on Logic in Computer Science