| |
| 2008 | ||
|---|---|---|
| 4 | EE | Mladen Pavicic, Norman D. Megill: Standard Logics Are Valuation-Nonmonotonic CoRR abs/0812.2702: (2008) |
| 2006 | ||
| 3 | EE | Norman D. Megill: Metamath. The Seventeen Provers of the World 2006: 88-95 |
| 1996 | ||
| 2 | EE | Norman D. Megill, Martin W. Bunder: Weaker D-Complete Logics. Logic Journal of the IGPL 4(2): 215-225 (1996) |
| 1995 | ||
| 1 | Norman D. Megill: A Finitely Axiomatized Formalization of Predicate Calculus with Equality. Notre Dame Journal of Formal Logic 36(3): 435-453 (1995) | |
| 1 | Martin W. Bunder | [2] |
| 2 | Mladen Pavicic | [4] |