Semantics of type theory : Correctness, Completeness and Independence Results

Streicher, Thomas:

ISBN 10: 3764335947 ISBN 13: 9783764335946
Verlag: Boston; Basel; Berlin : Birkhäuser, 1991
Sprache: Englisch
Zustand: Gebraucht Hardcover

Verkauft von Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland

AbeBooks-Verkäufer seit 12. Februar 2002

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Preis:
EUR 70,00
EUR 42,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen