0% au considerat acest document util
Încărcare
Documente Academic
Documente Profesional
Documente Cultură
Document
This Content Downloaded From 110.76.108.131 On Fri, 10 Dec 2021 10:37:26 UTC
Adăugat de thymine235711
Document
Introduction To Higher-Order Categorical Logic (J. Lambek, P. J. Scott)
Adăugat de thymine235711