Categorical logic and type theory

Enregistré dans:
Détails bibliographiques
Auteur principal: Jacobs, Bart
Format: Tandon
Langue:Asing
Publié: Elsevier 1999
Sujets:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
PINJAM