Filter
Matematisk logik
Filter
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 …
The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction to symbolic logic, …
An approachable introduction to elementary sheaf theory and its applications beyond pure math. Sheaves are mathematical constructions concerned with passages from local properties …