Undecidable Extensions of Monadic Second
โ
Dirk Siefkes
๐
Article
๐
1971
๐
John Wiley and Sons
๐
English
โ 628 KB
TJNDEClDABLE EXTENSIONS OF MONADIC SECOND ORDER SUCCESSOR ARITHMETIC by DIRK SIEFKES in Heidelberg (GFR)