Jump to content

User:Fschwarzentruber/Monadic second order logic

From Wikipedia, the free encyclopedia
< User:Fschwarzentruber
This is the current revision of this page, as edited by Fschwarzentruber (talk | contribs) at 21:10, 15 September 2016 (Created by translating the page "Logique monadique du second ordre"). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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"