Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Hardcover

Streicher, Thomas

9783764335946: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Hardcover

ISBN 10: 3764335947 ISBN 13: 9783764335946

Verlag: Birkh�user Verlag, 1991

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 70,00

0 Neu

1991 XII, 298 p. Hardcover Boston; Basel; Berlin : Birkh�user,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Birkh�user Verlag
Erscheinungsdatum: 1991
Sprache: Englisch
ISBN 10: 3764335947
ISBN 13: 9783764335946
Einband: Gebundene Ausgabe
Anzahl der Seiten: 298
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Weitere beliebte Ausgaben desselben Titels

9781461267577: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Vorgestellte Ausgabe

ISBN 10: 1461267579 ISBN 13: 9781461267577
Verlag: Birkh�user, 2012
Softcover

Suchergebnisse f�r Semantics of Type Theory: Correctness, Completeness...

Foto des Verk�ufers

Semantics of type theory : Correctness, Completeness and Independence Results

Streicher, Thomas:

Verlag: Boston; Basel; Berlin : Birkh�user, 1991

ISBN 10: 3764335947 ISBN 13: 9783764335946

Gebraucht Hardcover

Anbieter: Roland Antiquariat UG haftungsbeschr�nkt, Weinheim, Deutschland

Verk�uferbewertung 5 von 5 Sternen

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. Bestandsnummer des Verk�ufers 317551

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 70,00

EUR 42,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb