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€ • 189.30$ • 139.91£
161.31€ • 189.30$ • 139.91£
Carte tipărită la comandă
Livrare economică 06-12 martie
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