𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Informal Proofs and Mathematical Rigour

✍ Scribed by Marianna Antonutti Marfori


Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
205 KB
Volume
96
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Choice sequences and informal rigour
✍ A. S. Troelstra πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 534 KB
Mathematical Method and Proof
✍ Jeremy Avigad πŸ“‚ Article πŸ“… 2006 πŸ› Springer Netherlands 🌐 English βš– 277 KB