Semantics of Type Theory: Correctness, Completeness, and Independence Results - Couverture rigide

Streicher, T.

 
9780817635947: Semantics of Type Theory: Correctness, Completeness, and Independence Results
Couverture rigide
ISBN 10 : 0817635947 ISBN 13 : 9780817635947
Editeur : Birkhauser Boston Inc, 1991
Éditeur
Birkhauser Boston Inc
Date d'édition
1991
Langue
anglais
ISBN 10 
0817635947
ISBN 13 
9780817635947
Reliure
Relié
Nombre de pages
312
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781461267577: Semantics of Type Theory: Correctness, Completeness and Independence Results

Edition présentée

ISBN 10 :  1461267579 ISBN 13 :  9781461267577
Editeur : Birkhäuser, 2012
Couverture souple