Mereology is a collection of axiomatic formal systems dealing with parts and their respective wholes and the parts of the parts in a whole. Mereology is an application of predicate logic and a branch of ontology, especially formal ontology.
See more at Wikipedia.org...
Free Download Now!
