Your search returned 2 results.

Sort
Results
Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. by
  • Müller, Gert H [author.]
  • Siefkes, Dirk [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 120
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970
Availability: No items available.
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / by J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes. by
  • Büchi, J. Richard [author.]
  • Siefkes, Dirk [author.]
  • Müller, G. H [editor.]
  • Siefkes, D [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 328
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973
Availability: No items available.
Pages
(C) Powered by Koha

Powered by Koha