Del 447 - Lecture Notes in Mathematics
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Häftad, Engelska, 1975
489 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
- SerieDel 447 i Lecture Notes in Mathematics
- Antal sidor348
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540071495