Selected Logic Papers - nidottu, Englanti, 1995