Dirk Siefkes

Popular items by Dirk Siefkes

View all offers

Decidable Theories: Vol. 1: B�chi`s Monadic Second Order Successor Arithmetic
Siefkes, Dirk

Item prices starting from

� 23.36

View 8 offers

Also find
New, Used
Formalisieren und Beweisen: Logik f�r Informatiker (Lehrbuch Informatik)
Siefkes, Dirk

Item prices starting from

� 6.02

View 18 offers

Also find
New, Used
B�chi’s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics)
Siefkes, Dirk

Item prices starting from

� 8.70

View 13 offers

Also find
New, Used
Formalisieren und Beweisen: Logik f�r Informatiker (Lehrbuch Informatik)
Siefkes, Dirk

Item prices starting from

� 14.57

View 12 offers

Also find
New, Used
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974: 26 (Lecture Notes in Computer Science, 26)
Siefkes, Dirk

Item prices starting from

� 48.27

View 12 offers

Also find
New
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen (XTheorie der Informatik)
Siefkes, Dirk

Item prices starting from

� 66.44

View 9 offers

Also find
New, Used