Math 2.0

Resources / monograph

Decidable Theories II ABJKGGTD5C

URIm2://res/ABJKGGTD5C
Kindmonograph
CreatorsJ. Richard Büchi, Dirk Siefkes, G. H. Müller (editor), D. Siefkes (editor)
Date1973
MSC03B25, 03-02, 03D05
Scopein

Expressions

e1: edition

Languageen
Date1973
IdsDOI 10.1007/bfb0082720, zbl 0298.02050, zbl_id 3467076

Relations

References

  1. not resolved (e1)
  2. not resolved (e1)
  3. not resolved (e1)
  4. not resolved (e1)
  5. not resolved (e1)
  6. not resolved (e1)
  7. not resolved (e1)
  8. not resolved (e1)
  9. not resolved (e1)
  10. not resolved (e1)
  11. not resolved (e1)
  12. not resolved (e1)
  13. not resolved (e1)
  14. not resolved (e1)
  15. Büchi’s Monadic Second Order Successor Arithmetic (e1)
  16. not resolved (e1)
  17. not resolved (e1)
  18. not resolved (e1)
  19. not resolved (e1)
  20. not resolved (e1)
  21. not resolved (e1)
  22. not resolved (e1)
  23. not resolved (e1)
  24. not resolved (e1)
  25. not resolved (e1)
  26. not resolved (e1)
  27. not resolved (e1)
  28. not resolved (e1)
  29. not resolved (e1)
  30. not resolved (e1)
  31. not resolved (e1)
  32. not resolved (e1)
  33. not resolved (e1)
  34. not resolved (e1)
  35. not resolved (e1)
  36. not resolved (e1)
  37. not resolved (e1)
  38. Büchi’s Monadic Second Order Successor Arithmetic (e1)
  39. not resolved (e1)
  40. not resolved (e1)
  41. not resolved (e1)
  42. not resolved (e1)
  43. not resolved (e1)

Catalogue records