|
1 |
Begründungsrationalität und Logik Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
2 |
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
3 |
Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
4 |
Freges Permutationsargument. Zu §10 der "Grundgesetze der Arithmetik" Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
5 |
Frege's Sequent Calculus Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
6 |
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
|
|
|
7 |
Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
8 |
Nicholas Rescher on Greek Philosophy and the Syllogism Mittelstraß, Jürgen. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
9 |
Proof-theoretic harmony and the levels of rules: Generalised non-flattening results Olkhovikov, Grigory. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
10 |
Proof-Theoretic Harmony: The Issue of Propositional Quantification Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|