|
11 |
Nicholas Rescher on Greek Philosophy and the Syllogism Mittelstraß, Jürgen. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
12 |
Proof-theoretic harmony and the levels of rules: Generalised non-flattening results Olkhovikov, Grigory. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
13 |
Proof-Theoretic Harmony: The Issue of Propositional Quantification Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
14 |
Proof-Theoretic Semantics Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
15 |
Resolution and the Origins of Structural Reasoning Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
16 |
Schluss und Umkehrschluss Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
17 |
Significant Abstracts and Extended Summaries 1983-2012 Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
18 |
Structural Frameworks with Higher-Level Rules Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
19 |
Walter Felscher (1931-2000). Nachruf Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
20 |
Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz Mittelstraß, Jürgen. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|