next up previous
Next: About this document Up: An Arsenal of Tools Previous: Conclusions and Discussion


Costello, 1997
Costello, T. (1997). Non-monotonicity and Change. PhD thesis, Stanford University.

Hodges, 1997
Hodges, W. (1997). A Shorter Model Theory. Cambridge University Press.

McCarthy, 1993
McCarthy, J. (1993). Notes on Formalizing Context. In IJCAI-93.

McCarthy, 1996
McCarthy, J. (1996). the mutilated checkerboard in set theory. presented at a 1996 conference in Warsaw.
This is /u/aarati/ongoing/2001-1/logicistsarsenal.tex

Time created: Thu Feb 22 17:01:43 2001

Aarati Parmar
Thu Feb 22 17:21:49 PST 2001