Katalog der Deutschen Nationalbibliothek

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

31 - 39 von 39

	31	Paradoxes and Structural Rules Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2012
	32	Sequent Calculi and Bidirectional Natural Deduction Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2009
	33	Proof-theoretic versus Model-theoretic Consequence Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2008
	34	The Categorical and the Hypothetical Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2008
	35	Folgerung Schroeder-Heister, Peter. - Tübingen : Universitätsbibliothek Tübingen, 2005
	36	Cut elimination in logics with definitional reflection Schroeder-Heister, Peter. - Tübingen : WSI, [1992]
	37	Extensions of logic programming Berlin : Springer, 1991
	38	Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen Schroeder-Heister, Peter, 1981
	39	Schroeder-Heister, Peter 1953- / Sprachphilosoph