<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-10-06 13:13:00Predicate logic Non-classical logic Model theory Analytic philosophers Philosophers of mathematics Intensional logic First-order logic Mereology Interpretation Logic Philosophy Mathematical logic |
Add to Reading List |
Living Ontologists - A Bibliographical Guide: M - Q | NOUS 27: Naive Mereology,AdmissibleValuations, and OtherMatters PETERVANINWAGENDocID: 1uZKQ - View Document |
| FUNCTIONAL DECOMPOSITION AND MEREOLOGY IN ENGINEERING Pieter Vermaas and Pawel Garbacz 1DocID: 1uTmA - View Document |
| To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs.DocID: 1tgPG - View Document |
| Microsoft Word - BlankPageDocID: 1rugC - View Document |
| Microsoft Word - RegFormTutorials.docxDocID: 1roAY - View Document |