Implementing Mathematics with The Nuprl Proof Development System

R L Constable

ISBN 10: 1468059106 ISBN 13: 9781468059106
Editorial: Createspace Independent Publishing Platform, US, 2012
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Rarewaves USA United, OSWEGO, IL, Estados Unidos de America

Vendedor de AbeBooks desde 20 de junio de 2025

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

Precio:
EUR 18,41
Envío por EUR 43,75
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito