851-0101-89L  Philosophical Issues and Problems in Theoretical Computer Science