Suchergebnisse - Plato, Jan von 1951-
- Treffer 1 – 20 von 20
-
1Saved from the cellar: Gerhard Gentzen's Shorthand notes on logic and foundations of mathematicsVeröffentlicht 2017Signatur: Wird geladen …Online lesen
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
2Creating modern probability: its mathematics, physics and philosophy in historical perspectiveVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Creating modern probability: its mathematics, physics and philosophy in historical perspectiveVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Creating modern probability: its mathematics, physics and philosophy in historical perspectiveVeröffentlicht 2006Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
5Structural proof theoryVeröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
6Creating modern probability: its mathematics, physics and philosophy in historical perspectiveVeröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
7Elements of logical reasoningVeröffentlicht 2013Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
8Structural proof theoryVeröffentlicht 2008Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
9The interpretation of probabilitiesVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
10The great formal machinery works: theories of deduction and computation at the origins of the digital ageVeröffentlicht 2017Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
11Proof analysis: a contribution to Hilbert's last problemVeröffentlicht 2011Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
12Proof analysis: a contribution to Hilbert's last problemVeröffentlicht 2011Signatur: Wird geladen …Online lesen (BSB) Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
13Creating modern probability: its mathematics, physics and philosophy in historical perspectiveVeröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
14The interpretation of probabilitiesVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …
Hochschulschrift/Dissertation Buch Wird geladen … -
15Can mathematics be proved consistent?: Gödel's shorthand notes & lectures on incompletenessVeröffentlicht 2020Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
16Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematicsVeröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
17Creating modern probability: its mathematics, physics and philosophy in historical perspectiveVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
18Portrait of young Gödel: education, first steps in logic, the problem of completenessVeröffentlicht 2024Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
19Chapters from Gödel's unfinished book on foundational research in mathematicsVeröffentlicht 2022Signatur: Wird geladen …
Standort: Wird geladen …
Buch Wird geladen … -
20Ein Leben, ein Werk: Gedanken über das wissenschaftliche Schaffen des finnischen Logikers Oiva KetonenVeröffentlicht 2004Signatur: Wird geladen …
Standort: Wird geladen …
Paper Wird geladen …