Autor:	Rod Girle
Rok vydání:	2009
Předmět:	Discrete mathematics Modal Natural deduction Calculus Axiom schema Axiom Mathematics
DOI:	10.1017/upo9781844654536.006
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f3e685989d2766cf705831afc2cc96bc https://doi.org/10.1017/upo9781844654536.006 Zobrazit plný text záznamu