Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Häftad, Engelska, 1975
499 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1975-04-14
- Mått155 x 235 x 20 mm
- Vikt534 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Mathematics
- Antal sidor348
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540071495