|
21 |
Proof-Theoretic Semantics Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2019
|
|
|
22 |
Walter Hoering (1933- 2019). Grabrede und Nachruf Heidelberger, Michael. - Tübingen : Universitätsbibliothek Tübingen, 2019
|
|
|
23 |
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics Enthalten in Studia logica 25.8.2018: 1-14
|
|
|
24 |
The Definitional View of Atomic Systems in Proof-Theoretic Semantics Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2017
|
|
|
25 |
Advances in Proof-Theoretic Semantics Cham : Springer International Publishing, 2016, 1st ed. 2016
|
|
|
26 |
General Proof Theory and Definitional Reflection Hallnäs, Lars. - Tübingen : Universitätsbibliothek Tübingen, 2016
|
|
|
27 |
General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015 Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2016
|
|
|
28 |
Proof-theoretic Validity Based on Elimination Rules Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2015
|
|
|
29 |
Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2014
|
|
|
30 |
Implications as Rules in Dialogical Semantics Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2012
|
|