P. Dybjer
Identifiers
- Open LibraryOL2681395A
Top Subjects
- Theory of Knowledge (1)
- Ontology (1)
- Philosophy (1)
- Symbolic and mathematical Logic (1)
- Logic (1)
- Philosophy (General) (1)
- Genetic epistemology (1)
Books by P. Dybjer
Total count: 3
Category Theory and Computer ScienceManchester, Uk, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science)Springer1989-10-01-
Semantics and Logics of ComputationCambridge University Press2009-01-01
Epistemology versus OntologyEssays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-LöfSpringer Netherlands2012-01-01