Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Tapa dura
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Semantics of Type Theory: Correctness, Completeness...
Imagen del vendedor
Semantics of type theory : Correctness, Completeness and Independence Results
Publicado por
Boston; Basel; Berlin : Birkhäuser, 1991
ISBN 10: 3764335947
ISBN 13: 9783764335946
Antiguo o usado
Tapa dura
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
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 ref. del artículo: 317551
Comprar usado
EUR 70,00
Gastos de envío:
EUR 14,95
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles