Dirk Siefkes

Popular items by Dirk Siefkes

View all offers

Decidable Theories: Vol. 1: B�chi`s Monadic Second Order Successor Arithmetic: 120 (Lecture Notes in Mathematics, 120)
Siefkes, Dirk

Item prices starting from

� 23.34

View 10 offers

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

Item prices starting from

� 6.52

View 19 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 15 offers

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

Item prices starting from

� 14.34

View 14 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

� 46.18

View 14 offers

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

Item prices starting from

� 66.50

View 10 offers

Also find
New, Used