×

Found 4 Documents (Results 1–4)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Biographic Reference