4 found
Order:
  1.  16
    An Undecidable Problem in Finite Combinatorics.Kevin J. Compton - 1984 - Journal of Symbolic Logic 49 (3):842-850.
  2.  5
    Some Useful Preservation Theorems.Kevin J. Compton - 1983 - Journal of Symbolic Logic 48 (2):427-440.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  20
    Barwise Jon and Etchemendy John. The Language of First-Order Logic, Including the Program Tarski's World. Includes Version 3.0 of LV 370 (2). CSLI Lecture Notes, No. 23. Center for the Study of Language and Information, Stanford 1990, Also Distributed by the University of Chicago Press, Chicago, Xiii+ 259 Pp.+ Disk. Barwise Jon and Etchemendy John. The Language of First-Order Logic, Including the Macintosh Program Tarski's World. Of the Preceding. CSLI Lecture Notes, No. 23. Center for the Study of .. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
  4. Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the Macintosh Program Tarski's World. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.