Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic: Lecture Notes in Mathematics, cartea 120
Autor Dirk Siefkes Editat de Gert H. Mülleren Limba Engleză Paperback –
Din seria Lecture Notes in Mathematics
- 17%
Preț: 389.73 lei -
Preț: 340.60 lei -
Preț: 429.99 lei -
Preț: 430.15 lei -
Preț: 376.27 lei -
Preț: 315.08 lei -
Preț: 348.10 lei -
Preț: 484.95 lei -
Preț: 411.74 lei -
Preț: 435.08 lei - 15%
Preț: 487.81 lei - 15%
Preț: 424.92 lei -
Preț: 407.87 lei -
Preț: 335.64 lei -
Preț: 337.06 lei -
Preț: 299.15 lei -
Preț: 405.97 lei - 15%
Preț: 477.90 lei -
Preț: 318.81 lei -
Preț: 338.27 lei - 15%
Preț: 452.04 lei - 15%
Preț: 573.68 lei - 15%
Preț: 479.94 lei -
Preț: 177.34 lei -
Preț: 371.97 lei -
Preț: 462.55 lei -
Preț: 468.94 lei -
Preț: 313.49 lei -
Preț: 335.43 lei -
Preț: 392.84 lei -
Preț: 315.87 lei -
Preț: 405.24 lei -
Preț: 337.07 lei -
Preț: 404.87 lei -
Preț: 322.53 lei -
Preț: 406.19 lei -
Preț: 337.57 lei -
Preț: 410.84 lei -
Preț: 404.36 lei -
Preț: 313.49 lei -
Preț: 335.89 lei -
Preț: 266.56 lei -
Preț: 373.93 lei -
Preț: 305.99 lei - 15%
Preț: 479.14 lei -
Preț: 371.03 lei - 20%
Preț: 455.68 lei - 15%
Preț: 463.67 lei -
Preț: 315.67 lei -
Preț: 262.16 lei
Preț: 263.58 lei
Puncte Express: 395
Carte tipărită la comandă
Livrare economică 11-25 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540049098
ISBN-10: 3540049096
Pagini: 144
Ilustrații: XIV, 134 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1970
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540049096
Pagini: 144
Ilustrații: XIV, 134 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1970
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Decidability and completeness of SC.- Benefits of the decision procedure.