Computer epistemology : - Vamos, Tibor (Series in computer science, 1991)