 | 1982 |
|---|
| 6 |       | C. Smorynski:
Recursively Saturated Nonstandard Models of Arithmetic; Addendum.
J. Symb. Log. 47(3): 493-494 (1982) |
| 1981 |
|---|
| 5 | | C. Smorynski:
Recursively Saturated Nonstandard Models of Arithmetic.
J. Symb. Log. 46(2): 259-286 (1981) |
| 4 | | C. Smorynski:
Calculating Self-Referential Statements: Guaspari Sentences of the First Kind.
J. Symb. Log. 46(2): 329-344 (1981) |
| 1977 |
|---|
| 3 | | C. Smorynski:
A Note on the Number of Zeros of Polynomials and Exponential Polynomials.
J. Symb. Log. 42(1): 99-106 (1977) |
| 2 | | C. Smorynski:
On Axiomatizing Fragments.
J. Symb. Log. 42(4): 530-544 (1977) |
| 1973 |
|---|
| 1 | | C. Smorynski:
Elementary Intuitionistic Theories.
J. Symb. Log. 38(1): 102-134 (1973) |
