A new set of quantifiers for the quantifications over sets and their applications in formal mathods

Saved in:

Bibliographic Details
Main Author:	Senaratne, W. R. A. De Z.
Format:	Book
Language:	Sinhalese
Published:	Moratuwa : Author, 2003.
Subjects:	Mathamatical logic Predicate calculas
Tags:	Add Tag No Tags, Be the first to tag this record!

National Library and Documentation Services Board, Sri Lanka