Decidable Theories by JR Büchi, D Siefkes
| ISBN: | 9783540063452 |
| Publication date: | 5th July 1973 |
| Author: | JR Büchi, D Siefkes |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 224 pages |
| Series: | Lecture Notes in Mathematics |
| Genres: |
Mathematical logic Mathematical foundations |