ISBN-13: 9781108723022 / Angielski / Miękka / 2020 / 75 str.
This book introduces the reader to the mathematical core of intuitionism and to the two central topics of 'formalized intuitionism'.
1. Introduction: three faces of intuitionism; 2. The mathematical face of intuitionism; 3. Formalized intuitionism; 4. The intuitionistic standpoint; Afterword; Acknowledgements; Bibliography.
Czytaj nas na: