|
1 |
Logics of Proof-Theoretic Validity Enthalten in Topoi 26.10.2025: 1-19
|
|
|
2 |
Begründungsrationalität und Logik Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
3 |
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
4 |
Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
5 |
Der wissenschaftliche Nachlass von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers Wolters, Gereon. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
6 |
Ein Logik-Lotse geht von Bord. Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
7 |
Freges Permutationsargument. Zu §10 der "Grundgesetze der Arithmetik" Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
8 |
Frege's Sequent Calculus Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
9 |
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
10 |
Kosta Došen 1954–2017 Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|