Articles liés à Semantics of Type Theory: Correctness, Completeness...
Résultats de recherche pour Semantics of Type Theory: Correctness, Completeness...
Image fournie par le vendeur
Semantics of type theory : Correctness, Completeness and Independence Results
Edité par
Boston; Basel; Berlin : Birkhäuser, 1991
ISBN 10 : 3764335947
ISBN 13 : 9783764335946
Ancien ou d'occasion
Couverture rigide
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. XII, 298 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9783764335946 Sprache: Englisch Gewicht in Gramm: 1000. N° de réf. du vendeur 317551
Acheter D'occasion
EUR 70
Expédition à EUR 42
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Semantics of type theory : Correctness, Completeness and Independence Results Thomas Streicher
Edité par
Boston; Basel; Berlin : Birkhäuser, 1991
ISBN 10 : 3764335947
ISBN 13 : 9783764335946
Ancien ou d'occasion
Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : gut. 1991. Semantics of type theory : Correctness, Completeness and Independence Results In deutscher Sprache. pages. N° de réf. du vendeur BN498471
Acheter D'occasion
EUR 199,90
Expédition à EUR 39,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)