TY - BOOK AU - Meixner, Uwe TI - Axiomatic formal ontology SN - 9780792347170 U1 - 111 MEI PY - 1997/// CY - Deventer, The Netherlands ; Boston, MA PB - Kluwer Academic Publishers KW - Logic, Symbolic and mathematical KW - Ontology N1 - Includes bibliographical references (p. 390-392) and indexes ER -