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

Streicher, Thomas

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

Couverture rigide

ISBN 10 : 3764335947 ISBN 13 : 9783764335946

Editeur : Birkhauser Verlag AG, 1991

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 70

0 Neuf

D�tails de l'�dition

�diteur: Birkhauser Verlag AG
Date d'�dition: 1991
Langue: anglais
ISBN 10: 3764335947
ISBN 13: 9783764335946
Reliure: Reli�
Nombre de pages: 297
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

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

Streicher, Thomas:

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

Contacter le vendeur

Acheter D'occasion

EUR 70

Exp�dition �EUR 42
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier