What was the 'Appendix B' theory of types for?

Autor:	Yasushi Nomura
Rok vydání:	2021
Předmět:	Type theory Epistemology
Zdroj:	Kagaku tetsugaku. 53:45-63
ISSN:	1883-6461 0289-3428
DOI:	10.4216/jpssj.53.2_45
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::26e414640d19c66268686266927dfdfd https://doi.org/10.4216/jpssj.53.2_45 Zobrazit plný text záznamu