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) |