New Foundations for Imperative Logic: Pure Imperative Inference.

Autor:	Vranas, Peter B. M.1
Zdroj:	Mind. Apr2011, Vol. 120 Issue 478, p369-446. 78p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu