K. J. Barwise
发表
K. J. Barwise,
1974
.
K. J. Barwise,
K. Barwise,
1974
.
K. J. Barwise,
K. Barwise,
1972
.
Kenneth Kunen,
Joseph S. Ullian,
K. Jon Barwise,
1978,
Journal of Symbolic Logic.
K. Jon Barwise,
K. J. Barwise,
1993,
International Conference on Conceptual Structures.
Anil Nerode,
K. Jon Barwise,
A. Nerode,
1952,
Journal of Symbolic Logic.
Yiannis N. Moschovakis,
K. Jon Barwise,
Robin O. Gandy,
1971,
Journal of Symbolic Logic.
K. Jon Barwise,
K. J. Barwise,
K. Barwise,
1977,
Journal of Symbolic Logic.
Richmond H. Thomason,
K. Jon Barwise,
R. Thomason,
1988,
Journal of Symbolic Logic.
David Israel,
Solomon Feferman,
K. Jon Barwise,
1986,
Journal of Symbolic Logic.
K. Jon Barwise,
K. J. Barwise,
K. Barwise,
1986,
Notre Dame J. Formal Log..
K. Jon Barwise,
K. J. Barwise,
1972,
Journal of Symbolic Logic.
K. Jon Barwise,
Jerry Seligman,
J. Seligman,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
K. Jon Barwise,
John S. Schlipf,
J. Barwise,
1976,
Journal of Symbolic Logic.
Lawrence S. Moss,
K. Jon Barwise,
J. Barwise,
1996,
CSLI lecture notes series.
K. Jon Barwise,
J. Barwise,
K. J. Barwise,
1988,
TARK.
K. Jon Barwise,
K. J. Barwise,
1981,
ACL.
K. Jon Barwise,
J. Barwise,
K. J. Barwise,
1989,
CSLI lecture notes series.
K. Jon Barwise,
J. Barwise,
K. J. Barwise,
1969,
Journal of Symbolic Logic.
Johan van Benthem,
K. Jon Barwise,
J. Benthem,
1999,
Journal of Symbolic Logic.