The Functional Interpretation of Logical Deduction Ruy J. G. B. de Queiroz Anjolina G. de Oliveira Dov M. Gabbay

Autor:	Rezuş, Adrian
Zdroj:	Studia Logica: An International Journal for Symbolic Logic, 2015 Apr 01. 103(2), 447-451.
Databáze:	JSTOR Journals
Externí odkaz:	http://www.jstor.org/stable/43649713 Zobrazit plný text záznamu Full text from SpringerLink