|
11 |
Schluss und Umkehrschluss
Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
|
12 |
Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz
Mittelstraß, Jürgen. - Tübingen : Universitätsbibliothek Tübingen, 2022
|
|
|
13 |
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
Enthalten in Studia logica 25.8.2018: 1-14
|
|
|
|
14 |
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2017
|
|
|
|
15 |
Proof-theoretic Validity Based on Elimination Rules
Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2015
|
|
|
|
16 |
Implications as Rules in Dialogical Semantics
Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2012
|
|
|
|
17 |
Paradoxes and Structural Rules
Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2012
|
|
|
|
18 |
Sequent Calculi and Bidirectional Natural Deduction
Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2009
|
|
|
|
19 |
Proof-theoretic versus Model-theoretic Consequence
Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2008
|
|
|
|
20 |
Folgerung
Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2005
|
|
Administration
