Sökt på: Sökresultat
totalt 5 träffar
From Logic to Practice
This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes …
Meaning of Proofs
From Logic to Practice
This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes …
The Meaning of Proofs
Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story. In The Meaning of Proofs, mathematician Gabriele Lolli …
From Logic to Practice
This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes …