Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Forfattere
  3. Giovanni (Professor of Mathematical Logic Sambin

Bøger af Giovanni (Professor of Mathematical Logic Sambin

Filter
Filter
✕
Sorter efterSorter Populære
  • Twenty Five Years of Constructive Type Theory af Giovanni (Professor of Mathematical Logic Sambin
    Twenty Five Years of Constructive Type Theory
    af Giovanni (Professor of Mathematical Logic Sambin
    1.339,95 kr.

    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 mere

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.