The Pure Part of HYP(M). - Mark E. Nadel; Jonathan Stavi (J. Symb. Log., 1977)

On a Problem of MacDowell and Specker. - Mark E. Nadel (J. Symb. Log., 1980)

An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic. - Mark E. Nadel (Math. Log. Q., 1980)

Expansions of Models and Turing Degrees. - Julia F. Knight; Mark E. Nadel (J. Symb. Log., 1982)

Models of Arithmetic and Closed Ideals. - Julia F. Knight; Mark E. Nadel (J. Symb. Log., 1982)

What Needs Securing. - Joshua D. Guttman; Mark E. Nadel (CSFW, 1988)

A Note on the Multiplicative Semigroup of Models of Peano Arithmetic. - Roman Kossak; Mark E. Nadel; James H. Schmerl (J. Symb. Log., 1989)

On Models of the Elementary Theory of (Z, +, 1). - Mark E. Nadel; Jonathan Stavi (J. Symb. Log., 1990)

Substitution and Refutation Revisited. - Hai-Ping Ko; Mark E. Nadel (ICLP, 1991)

Elementary Lower Bounds for th Length of Refutations. - Hai-Ping Ko; Mark E. Nadel (LPAR, 1992)

Lower Bounds for the Lengths of Refutations. - Hai-Ping Ko; David A. McAllester; Mark E. Nadel (J. Log. Program., 1993)

Proof Script Pragmatics in IMPS. - William M. Farmer; Joshua D. Guttman; Mark E. Nadel; F. Javier Thayer (CADE, 1994)

Scott Heights of Abelian Groups. - Mark E. Nadel (J. Symb. Log., 1994)