Autor:	Steven Orey, Hughes Leblanc
Rok vydání:	1955
Předmět:	Deductive reasoning Philosophy of logic Programming language Computer science General Mathematics Dynamic logic (modal logic) computer.software_genre computer
Zdroj:	The American Mathematical Monthly. 62:666
ISSN:	0002-9890
DOI:	10.2307/2307308
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d354a0e75071f7729d5867e662123c39 https://doi.org/10.2307/2307308 Zobrazit plný text záznamu