Couverture : Categorical logic and type theory

Couverture : Open Library

← Fiche de l'œuvre

Categorical logic and type theory

Bart Jacobs

Détails de l'édition

ISBN-13
9780444501707
ISBN-10
0444501703
EAN
9780444501707
Éditeur
Elsevier (Amsterdam)
Date de publication
1 janvier 1999
Langue
eng
Pages
760
Dimensions
23 cm
Provenance des données
  • dimensions BnF Catalogue général · 23 juillet 2026
  • language BnF Catalogue général · 23 juillet 2026
  • page_count BnF Catalogue général · 23 juillet 2026
  • publication_date BnF Catalogue général · 23 juillet 2026