Relational quantifiers
By: Michał Krynicki
Series: Dissertationes mathematicae -- Rozprawy matematyczne -- 347; Rozprawy matematyczne -- 347
Publisher: Polska Akademia Nauk, Instytut Matematyczny
Published: 1995
Place of publication: Warszawa
Language: eng
Number of pages: 47
Subjects: Predicate calculus; Symbolic and mathematical Logic; Lattice theory
Notes: Includes bibliographical references (p. 46-47).