Autor:	Edmund Robinson
Rok vydání:	2003
Předmět:	Discrete mathematics Logic Computer science Intermediate logic Higher-order logic Theoretical Computer Science Arts and Humanities (miscellaneous) Proof calculus Hardware and Architecture Proof theory Minimal logic Calculus Dynamic logic (modal logic) Bunched logic Structural proof theory Software
Zdroj:	Journal of Logic and Computation. 13:777-797
ISSN:	1465-363X 0955-792X
DOI:	10.1093/logcom/13.5.777
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::14d8de6438fffe586704fe47c1d359fe https://doi.org/10.1093/logcom/13.5.777 Zobrazit plný text záznamu