Hoppa till sidans huvudinnehåll

Del 447

Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Häftad, Engelska, 1975

AvS.A. Toledo,S. a. Toledo,S. A. Toledo

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

Tillhör följande kategorier