851-0144-21L  Philosophical Issues and Problems in Theoretical Computer Science