Inhalt
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
Titel
Decidable Theories
Untertitel
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Autor
Editor
EAN
9783540469469
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
14.11.2006
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
12.94 MB
Anzahl Seiten
224
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.