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

Streicher, T.

 
9780817635947: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Hardcover
ISBN 10: 0817635947 ISBN 13: 9780817635947
Verlag: Birkhäuser, 1991
Verlag
Birkhäuser
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0817635947
ISBN 13 
9780817635947
Einband
Gebundene Ausgabe
Anzahl der Seiten
299
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