bokomslag Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Vetenskap & teknik

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W Buchholz S Feferman W Pohlers W Sieg

Pocket

509:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 384 sidor
  • 1981
  • Författare: W Buchholz, S Feferman, W Pohlers, W Sieg
  • Format: Pocket/Paperback
  • ISBN: 9783540111702
  • Språk: Engelska
  • Antal sidor: 384
  • Utgivningsdatum: 1981-12-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG