[CITATION][C] Logic Colloquium'95

P Maddy, JA Makowsky, EV Ravve - 1998 - Cambridge University Press,