共 50 条
- [21] Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 1 - 3
- [23] Simulation, theory, and cut-elimination (Philosophy of computer science) MONIST, 1999, 82 (01): : 165 - 184
- [27] Between computer science and philosophy, and: on the (im-)possibility of digital literacy IT-INFORMATION TECHNOLOGY, 2025,
- [28] The Porphyrian Tree and Multiple Inheritance: A Rejoinder to Tylman on Computer Science and Philosophy Foundations of Science, 2018, 23 : 173 - 180
- [30] CRITICAL PHILOSOPHY OF SCIENCE - PHILOSOPHY WITHOUT SCIENCE TIDSSKRIFT FOR SAMFUNNSFORSKNING, 1979, 20 (02): : 160 - 172