Cantitate/Preț
Produs

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üller
en Limba Engleză Paperback –

Din seria Lecture Notes in Mathematics

Preț: 26390 lei

Nou

Puncte Express: 396

Preț estimativ în valută:
5051 5328$ 4221£

Carte tipărită la comandă

Livrare economică 31 decembrie 24 - 14 ianuarie 25

Preluare comenzi: 021 569.72.76

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

Public țintă

Research

Cuprins

Decidability and completeness of SC.- Benefits of the decision procedure.