Geometric logic in computer science (1993)

by S Vickers
Venue:Theory and Formal Methods