First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch, David Michael Cerna, Anela Lolicen Limba Engleză Hardback – 3 ian 2026
Preț: 912.15 lei
Preț vechi: 1200.20 lei
-24% Nou
Puncte Express: 1368
Preț estimativ în valută:
161.31€ • 191.27$ • 140.44£
161.31€ • 191.27$ • 140.44£
Carte disponibilă
Livrare economică 05-11 martie
Livrare express 21-27 februarie pentru 87.97 lei
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
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