Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.

Ergebnis der Suche nach: "112409156"
im Bestand: Gesamter Bestand

21 - 30 von 38

	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	The Definitional View of Atomic Systems in Proof-Theoretic Semantics Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2017
	24	Advances in Proof-Theoretic Semantics Cham : Springer International Publishing, 2016, 1st ed. 2016
	25	General Proof Theory and Definitional Reflection Hallnäs, Lars. - Tübingen : Universitätsbibliothek Tübingen, 2016
	26	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
	27	Proof-theoretic Validity Based on Elimination Rules Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2015
	28	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
	29	Implications as Rules in Dialogical Semantics Piecha, Thomas. - Tübingen : Universitätsbibliothek Tübingen, 2012
	30	Paradoxes and Structural Rules Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2012