First-Order Schemata and Inductive Proof Analysis de Alexander Leitsch

First-Order Schemata and Inductive Proof Analysis: Computer Science Foundations and Applied Logic

Autor Alexander Leitsch, David Michael Cerna, Anela Lolic

en Limba Engleză Hardback – 13 ian 2026

Din seria Computer Science Foundations and Applied Logic

20%

Preț: 493^.40 lei
20%

Preț: 1413^.57 lei
20%

Preț: 375^.86 lei
20%

Preț: 559^.06 lei
20%

Preț: 428^.40 lei
20%

Preț: 1228^.89 lei
nou

Preț: 401^.80 lei

Preț: 1006^.97 lei

Preț vechi: 1258^.72 lei
-20% Precomandă

Puncte Express: 1510

:
178^.18€ • 209^.23$ • 156^.40£

Carte nepublicată încă

Wish list
Gift list
Am citit!

Adaugă în listă

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783032057402
ISBN-10: 303205740X
Pagini: 246
Ilustrații: X, 246 p. 10 illus., 3 illus. in color.
Dimensiuni: 155 x 235 mm
Editura: Springer Verlag GmbH
Colecția Birkhäuser
Seria Computer Science Foundations and Applied Logic