1
Published 2013
Springer Netherlands
Table of Contents: ...: Per Martin-Löf -- Chapter 2. Demonstrations versus Proofs, being an afterword to 'Constructions...