Bokus
Dirk Siefkes, Gert H. Müller - Decidable Theories, Häftad

Häftad, Engelska, 1970

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Av Dirk Siefkes, Gert H. Müller

Del 120 i serien Lecture Notes in Mathematics

275 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.