K. Jon Barwise

Publication Activity (10 Years)

Years Active: 1971-1988
Publications (10 Years): 0

Publications

K. Jon Barwise, Richmond H. Thomason
Logic and Linguistics Meeting, Stanford, 1987. J. Symb. Log. 53 (4) (1988)
Anil Nerode, K. Jon Barwise
Meeting of the Association for Symbolic Logic. J. Symb. Log. 38 (2) (1973)
K. Jon Barwise
The Hanf Number of Second Order Logic. J. Symb. Log. 37 (3) (1972)
K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis
The Next Admissible Set. J. Symb. Log. 36 (1) (1971)