Daniel Leivant Logical Undecidabilities Made Easy. 307-312 2008 89 Fundam. Inform. 2-3 http://iospress.metapress.com/content/e4gr43537v206358/ db/journals/fuin/fuin89.html#Leivant08