Categorie

Categorical Logic and Type Theory

B. Jacobs

Editore: Elsevier Science
Testo in en
Formato: PDF con DRM
Cloud: No Scopri di più
Compatibilità: Tutti i dispositivi (eccetto Kindle) Scopri di più
  • EAN: 9780080528700