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 – 3 ian 2026

Din seria Computer Science Foundations and Applied Logic

20%

Preț: 1413^.57 lei
20%

Preț: 429^.90 lei
20%

Preț: 375^.86 lei
20%

Preț: 558^.63 lei
20%

Preț: 398^.51 lei
20%

Preț: 1228^.89 lei

Preț: 912^.51 lei

Preț vechi: 1200^.66 lei
-24% Nou

Puncte Express: 1369

:
161^.38€ • 186^.92$ • 140^.13£

Carte tipărită la comandă

Livrare economică 17-23 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783032057402
ISBN-10: 303205740X
Pagini: 256
Ilustrații: X, 246 p. 10 illus., 3 illus. in color.
Dimensiuni: 160 x 241 x 20 mm
Greutate: 0.55 kg
Editura: birkhäuser
Colecția Computer Science Foundations and Applied Logic
Seria Computer Science Foundations and Applied Logic