"Stone duality for first-order logic: a nominal approach to logic and topology."

Murdoch James Gabbay (2014)

Details and statistics

DOI: 10.29007/TP3Z

access: open

type: Part in Book or Collection

metadata version: 2021-08-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics