First-Order Schemata and Inductive Proof Analysis

Leitsch, Alexander; Cerna, David Michael; Lolic, Anela

ISBN 10: 303205740X ISBN 13: 9783032057402
Editorial: Birkhäuser, 2026
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa dura

Vendido por Basi6 International, Irving, TX, Estados Unidos de America

Vendedor de AbeBooks desde 24 de junio de 2016

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 dura

Condición: Nuevo

Precio:
EUR 147,23
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 10 disponibles

Añadir al carrito