Norman D. Megill

	2008
5		Mladen Pavicic, Norman D. Megill: Standard Logics Are Valuation-Nonmonotonic CoRR abs/0812.2702: (2008)
4		Mladen Pavicic, Norman D. Megill: Standard Logics Are Valuation-Nonmonotonic. J. Log. Comput. 18(6): 959-982 (2008)
	2006
3		Norman D. Megill: Metamath. The Seventeen Provers of the World 2006: 88-95
	1996
2		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)

Coauthor Index

1	Martin W. Bunder	[2]
2	Mladen Pavicic	[4] [5]

Colors in the list of coauthors