dblp.uni-trier.dewww.uni-trier.de

C. Smorynski

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)