Jump to content

User:Fschwarzentruber/Monadic second order logic

From Wikipedia, the free encyclopedia

In mathematical logic, monadic second order logic[1] (MSO) is the fragment of second-order logic where second-order quantification is over sets.

  1. ^ , 2012-01-01, ISBN 0521898331 {{citation}}: Missing or empty |title= (help); More than one of |ISBN= and |isbn= specified (help)
Retrieved from "https://wiki.riteme.site/w/index.php?title=User:Fschwarzentruber/Monadic_second_order_logic&oldid=739623689"