Logic Modelling Workshop

Table of Contents

Technical Notes Contributed to the LMW

None yet. (But we just started!)

Earlier News Journal Entries of Relevance for the LMW

• Davis, Ernest: Guide to Axiomatizing Domains in First-Order Logic. (March, 1999)

Maintenance information:

Latest update 1.7.1999 by EMTEK group. Edit mode aml, position code C.lmw.gendisc.toc.