Decidable Theories : Vol. 1
Büchi`s Monadic Second Order Successor Arithmetic
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Open LibraryOL37148948M
- ISBN-139783540362524
- ISBN-103540362525
- Better World Books9783540362524
Classifications
- LCCQA8.9-10.3
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!