Dirk Siefkes
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (1970)
By
Dirk Siefkes
Paperback
AED
165
80
AED 248.00
33% OFF
Turbo
Free Delivery
22 - 23 Apr
Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 (1975)
By
Dirk Siefkes
Paperback
AED
238
88
AED 342.00
30% OFF
Turbo
Free Delivery
22 - 23 Apr
Büchi's Monadic Second Order Successor Arithmetic (1970)
By
Dirk Siefkes
Paperback
AED
238
88
AED 520.00
54% OFF
Turbo
Free Delivery
22 - 23 Apr
Formalisieren Und Beweisen: Logik Für Informatiker (2. Aufl. 1992)
By
Dirk Siefkes
Paperback
AED
311
83
AED 405.00
23% OFF
Turbo
Free Delivery
22 - 23 Apr
Formalisieren Und Beweisen: Logik Für Informatiker (1990)
By
Dirk Siefkes
Paperback
AED
238
88
AED 347.00
31% OFF
Turbo
Free Delivery
22 - 23 Apr