Cite This Page

From HandWiki

Bibliographic details for Monadic second-order logic