bokomslag From a Flexible Type System to Metapredicative Wellordering Proofs
Data & IT

From a Flexible Type System to Metapredicative Wellordering Proofs

Florian Ranzi

Pocket

199:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 238 sidor
  • 2015
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultt der Universitt Bern.
  • Författare: Florian Ranzi
  • Format: Pocket/Paperback
  • ISBN: 9781326455200
  • Språk: Engelska
  • Antal sidor: 238
  • Utgivningsdatum: 2015-10-21
  • Förlag: Lulu.com