A. N. Prior. Formal logic. Oxford at the Clarendon Press, London1955, ix + 329 pp. - A. N. Prior. Formal logic. Second edition. Oxford at the Clarendon Press, London1962, xi + 341 pp

Autor:	Hughes Leblanc
Rok vydání:	1962
Předmět:	Horn clause Logic Computer science Programming language Classical logic Multimodal logic computer.software_genre Higher-order logic Philosophy Philosophy of logic Computability logic Dynamic logic (modal logic) Autoepistemic logic computer
Zdroj:	Journal of Symbolic Logic. 27:218-220
ISSN:	1943-5886 0022-4812
DOI:	10.2307/2964118
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2e4bc112e6b126dc7f32280c509c3dbe https://doi.org/10.2307/2964118 Zobrazit plný text záznamu