Decidability and generalized quantifiers
An edition of Decidability and generalized quantifiers (1980)
By
Publish Date
1980
Publisher
Akademie-Verlag
Language
eng
Pages
235
Description:
subjects: Decidability (Mathematical logic), Predicate calculus