Chapter XIII: Monadic Second-Order Theories
Y. Gurevich
Source:
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pl/1235417279
Y. Gurevich
Source:
Full-text: Open access
Permanent link to this document: http://projecteuclid.org/euclid.pl/1235417279