Siirry suoraan sisältöön
Decidable Theories
Tallenna

Decidable Theories

Alaotsikko
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Kirjailija
Dirk Siefkes
Toimittaja
Gert H. Müller
Painos
1970 ed.
ISBN
9783540049098
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.1.1970
Sivumäärä
134