Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Decidable Theories

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

by Dirk Siefkes, Gert H. Müller

Springer

₹2,679

Free delivery. Nothing extra to pay at checkout.

  • New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

From the publisher

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

Description supplied by the publisher.

Book details

ISBN-13
9783540049098
ISBN-10
3540049096
Authors
Dirk Siefkes, Gert H. Müller
Publisher
Springer
Condition
New

More by Dirk Siefkes and related titles

See all