Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Författare
  3. Giovanni (Professor of Mathematical Logic Sambin

Böcker av Giovanni (Professor of Mathematical Logic Sambin

Filter
Filter
✕
Sortera efterSortera Populära
  • Twenty Five Years of Constructive Type Theory af Giovanni (Professor of Mathematical Logic Sambin
    Twenty Five Years of Constructive Type Theory
    av Giovanni (Professor of Mathematical Logic Sambin
    1 660,-

    Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

    Se mer

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.