Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

21 - 30 von 38

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen