Autor:	William M. Farmer
Rok vydání:	2023
Zdroj:	Simple Type Theory ISBN: 9783031211119
DOI:	10.1007/978-3-031-21112-6_8
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fcf74064c10a4b50dc3cfd9c1c5eabe3 https://doi.org/10.1007/978-3-031-21112-6_8 Zobrazit plný text záznamu