We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Authors
  3. Giovanni (Professor of Mathematical Logic Sambin

Books by Giovanni (Professor of Mathematical Logic Sambin

Filter
Filter
✕
Sort bySort Popular
  • Twenty Five Years of Constructive Type Theory af Giovanni (Professor of Mathematical Logic Sambin
    Twenty Five Years of Constructive Type Theory
    by Giovanni (Professor of Mathematical Logic Sambin
    £112.99

    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.

    More details

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.