Tag: Dirk Siefkes

Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120) 1970th Edition by Dirk Siefkes (PDF)

  Ebook Info Published: 1970 Number of pages: 148 pages Format: PDF File Size: 5.63 MB Authors: Dirk...
Read more

Advertisement

spot_img