Giovanni Sambin – författare
Visar alla böcker från författaren Giovanni Sambin. Handla med fri frakt och snabb leverans.
4 produkter
Twenty Five Years of Constructive Type Theory
Av Giovanni Sambin, Jan M. Smith
Inbunden, 1998
1898 kr
Lägg i varukorg
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This …
Positive Topology
A New Practice in Constructive Mathematics
E-bok, 2025
1732 kr
Lägg i varukorg
Aimed at researchers in mathematics, philosophy and logic, this book provides the first organic exposition of dynamic constructivism and the mathematics ensuing in practice, including discussion of the technical development of the field and outlining the philosophical and methodological motivations …
Twenty Five Years of Constructive Type Theory
Av Jan M. Smith, Giovanni Sambin
E-bok, 1998
1283 kr
Lägg i varukorg
Per Martin-Löf''s work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This …
Positive Topology
A New Practice in Constructive Mathematics
Inbunden, 2025
1718 kr
Lägg i varukorg
Aimed at researchers in mathematics, philosophy and logic, this book provides the first organic exposition of dynamic constructivism and the mathematics ensuing in practice, including discussion of the technical development of the field and outlining the philosophical and methodological motivations …
