Reviews matching “Decidability and definability in second-order theories”

1 result

BookAuthorReviewerJournalDate
Decidability and definability in second-order theories Michael O. Rabin Dirk Siefkes The Journal of Symbolic Logic 1975

Open this search with filters