Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Szerző:
Dirk Siefkes, Gert H. Müller
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
9 579
Ft
Decidability and completeness of SC.- Benefits of the decision procedure.
