Autor:	Thomas Garrity
Rok vydání:	2021
Předmět:	Natural deduction Proof calculus Process calculus Church encoding Calculus Time-scale calculus Borel functional calculus Typed lambda calculus Functional calculus Mathematics
DOI:	10.1017/9781108992879.004
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2d556ae4b5daa761a74514c30fa27f61 https://doi.org/10.1017/9781108992879.004 Zobrazit plný text záznamu