A new set of quantifiers for the quantifications over sets and their applications in formal mathods - Senaratne, W. R. A. De Z. (Moratuwa : Author, 2003)
Keywords: Mathamatical logic; Predicate calculas