A new set of quantifiers for the quantifications over sets and their applications in formal mathods
Saved in:
Main Author: | Senaratne, W. R. A. De Z. |
---|---|
Format: | Book |
Language: | Sinhalese |
Published: |
Moratuwa :
Author,
2003.
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal logic :
by: Rubin, Ronald
Published: (1989) -
Sets and groups/
by: Green,J.A
Published: (1965) -
Year 12 calculas workbook NCEA level 3 /
by: Haydock, Phyl
Published: (2006) -
Directed graph coding and its applications in formal logical proof representations.
by: Senarathne, W. Raj A. De Z.
Published: (2017) -
Elements of deductive inference : an introduction to symbolic logic /
by: Bessie, Joseph
Published: (2000)