-
1
-
2
-
3
Ausstellung "Corona-Krise 2020"
Veröffentlicht in Allgemeine schweizerische Militärzeitschrift
VolltextArtikel -
4
-
5
-
6
Transfinite induction within Peano arithmetic
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
7
-
8
A Proof Environment for Teaching Mathematics
Veröffentlicht in Journal of automated reasoning
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
The model-theoretic ordinal analysis of theories of predicative strength
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
17
-
18
A Model-Theoretic Approach to Ordinal Analysis
Veröffentlicht in The bulletin of symbolic logic
VolltextArtikel -
19
-
20
Preparing for the unanticipated difficult airway
Veröffentlicht in Journal of clinical anesthesia
VolltextArtikel