Monadic second-order logic: Difference between revisions

Content deleted Content added
added ref template
stub
Line 5:
{{reflist}}
 
{{Logic-stub}}
[[Category:Mathematical logic]]