Decidability and generalized quantifiers
By: von Andreas Baudisch ... [et al.].
Contributors: Baudisch, Andreas.
Series: Mathematical research =; Mathematische Forschung ;; Bd. 3; Mathematical research ;; Bd. 3.
Publisher: Akademie-Verlag
Published: 1980
Place of publication: Berlin
Language: eng
Number of pages: 235
Subjects: Decidability (Mathematical logic); Predicate calculus.
Notes: Bibliography: p. 220-229.
Includes indexes.