From a Flexible Type System to Metapredicative Wellordering Proofs 1
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:-
Ingår i 4 pocket för 3

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

Uppskattad leveranstid 7-12 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

Du kanske gillar

  1. bokomslag The Well-Ordered Republic

    The Well-Ordered Republic

    Frank Lovett

    Inbunden

    819:-
  2. bokomslag The Well-Ordered Family

    The Well-Ordered Family

    Benjamin Wadsworth

    Pocket

    279:-
  3. bokomslag The Well-ordered Family

    The Well-ordered Family

    Samuel Kneeland Isaac Ambrose

    Inbunden

    459:-
  4. bokomslag The Well-ordered Family

    The Well-ordered Family

    Samuel Kneeland Isaac Ambrose

    Pocket

    229:-
  5. bokomslag Crafting a Rule of Life An Invitation to the WellOrdered Way

    Crafting a Rule of Life An Invitatio...

    Mark Buchanan Stephen A MacChia

    Pocket

    239:-
  6. bokomslag The Well-Ordered Universe

    The Well-Ordered Universe

    Deborah Boyle

    Inbunden

    1639:-
  7. bokomslag Jean-Jacques Rousseau and the 'Well-Ordered Society'

    Jean-Jacques Rousseau and the 'Well-O...

    Maurizio Viroli

    Pocket

    949:-
  8. bokomslag A Well-ordered Household

    A Well-ordered Household

    William Arthur

    Inbunden

    499:-
  9. bokomslag A Well-ordered Household

    A Well-ordered Household

    William Arthur

    Pocket

    259:-
  10. bokomslag A Well-Ordered Thing

    A Well-Ordered Thing

    Professor Michael D Gordin

    Pocket

    499:-