CSLI Lecture Notes
Collection
Collection
Published by CSLI Publishers, Stanford
-
Dynamic modal predicate logic Book Chapter
January 1994 -
A Lindström theorem for modal logic In Proceedings
January 1995 -
January 1995
-
Basic quantifier theory Book Chapter
January 1996 -
Quantifiers and partiality Book Chapter
January 1996 -
STS: a structural theory of sets In Proceedings
January 2001 -
STS: a structural theory of sets In Proceedings
January 2001