Theorem Proving in Higher-Order Logics J. Grundy M. Newey

Autor:	Forster, Thomas
Zdroj:	Studia Logica: An International Journal for Symbolic Logic, 2002 Jun 01. 71(1), 143-144.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/20016419 Zobrazit plný text záznamu Full text from SpringerLink