Hämeen-Anttila, Maria (ed.); von Plato, Jan (ed.) Kurt Gödel. The Princeton lectures on intuitionism. (English) Zbl 07414812 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-87295-3/hbk; 978-3-030-87298-4/pbk; 978-3-030-87296-0/ebook). ix, 133 p. (2021). MSC: 03-06 03-03 01A75 03C10 01A60 PDFBibTeX XMLCite \textit{M. Hämeen-Anttila} (ed.) and \textit{J. von Plato} (ed.), Kurt Gödel. The Princeton lectures on intuitionism. Cham: Springer (2021; Zbl 07414812) Full Text: DOI
von Plato, Jan Can mathematics be proved consistent? Gödel’s shorthand notes & lectures on incompleteness. (English) Zbl 1466.03001 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-50875-3/hbk; 978-3-030-50878-4/pbk; 978-3-030-50876-0/ebook). ix, 263 p. (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03-03 03F40 01A75 01A70 01A60 PDFBibTeX XMLCite \textit{J. von Plato}, Can mathematics be proved consistent? Gödel's shorthand notes \& lectures on incompleteness. Cham: Springer (2020; Zbl 1466.03001) Full Text: DOI
von Plato, Jan [Gentzen, Gerhard] Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. (English) Zbl 1414.03002 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-319-42119-3/hbk; 978-3-319-42120-9/ebook). x, 315 p. (2017). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 PDFBibTeX XMLCite \textit{J. von Plato}, Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics. Cham: Springer (2017; Zbl 1414.03002) Full Text: DOI
van Dalen, Dirk [Brouwer, L. E. J.] The selected correspondence of L. E. J. Brouwer. (English) Zbl 1225.01097 Sources and Studies in the History of Mathematics and Physical Sciences. London: Springer (ISBN 978-0-85729-527-9/hbk; 978-1-4471-2691-1/pbk; 978-0-85729-537-8/ebook). vii, 529 p. (2011). Reviewer: Jim Mackenzie (Sydney) MSC: 01A75 00A30 01A60 03A05 01-02 PDFBibTeX XMLCite \textit{D. van Dalen}, The selected correspondence of L. E. J. Brouwer. London: Springer (2011; Zbl 1225.01097) Full Text: DOI