Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

Autor:	Schroeder-Heister, Peter
Zdroj:	The Bulletin of Symbolic Logic, 2002 Jun 01. 8(2), 246-265.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2693965 Zobrazit plný text záznamu