Jump to content

User:Fschwarzentruber/Monadic second order logic

From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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://en.wikipedia.org/w/index.php?title=User:Fschwarzentruber/Monadic_second_order_logic&oldid=739623689"