 | 1994 |
|---|
| 12 |       | William M. Farmer,
Joshua D. Guttman,
Mark E. Nadel,
F. Javier Thayer:
Proof Script Pragmatics in IMPS.
CADE 1994: 356-370 |
| 11 |  | Mark E. Nadel:
Scott Heights of Abelian Groups.
J. Symb. Log. 59(4): 1351-1359 (1994) |
| 1993 |
|---|
| 10 | | Hai-Ping Ko,
David A. McAllester,
Mark E. Nadel:
Lower Bounds for the Lengths of Refutations.
J. Log. Program. 17(1): 31-58 (1993) |
| 1992 |
|---|
| 9 | | Hai-Ping Ko,
Mark E. Nadel:
Elementary Lower Bounds for th Length of Refutations.
LPAR 1992: 137-147 |
| 1991 |
|---|
| 8 | | Hai-Ping Ko,
Mark E. Nadel:
Substitution and Refutation Revisited.
ICLP 1991: 679-692 |
| 1990 |
|---|
| 7 | | Mark E. Nadel,
Jonathan Stavi:
On Models of the Elementary Theory of (Z, +, 1).
J. Symb. Log. 55(1): 1-20 (1990) |
| 1989 |
|---|
| 6 | | Roman Kossak,
Mark E. Nadel,
James H. Schmerl:
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
J. Symb. Log. 54(3): 936-940 (1989) |
| 1988 |
|---|
| 5 | | Joshua D. Guttman,
Mark E. Nadel:
What Needs Securing.
CSFW 1988: 34-57 |
| 1982 |
|---|
| 4 | | Julia F. Knight,
Mark E. Nadel:
Expansions of Models and Turing Degrees.
J. Symb. Log. 47(3): 587-604 (1982) |
| 3 | | Julia F. Knight,
Mark E. Nadel:
Models of Arithmetic and Closed Ideals.
J. Symb. Log. 47(4): 833-840 (1982) |
| 1980 |
|---|
| 2 | | Mark E. Nadel:
On a Problem of MacDowell and Specker.
J. Symb. Log. 45(3): 612-622 (1980) |
| 1977 |
|---|
| 1 | | Mark E. Nadel,
Jonathan Stavi:
The Pure Part of HYP(M).
J. Symb. Log. 42(1): 33-46 (1977) |
