From Wikipedia, the free encyclopedia
I enjoy cheese and symbols.
Interests
- logic (philosophical, mathematical, philosophy of)
- philosophy and foundations of mathematics
- proof and model theory
- philosophy of language
- ontology (of mathematics and modality)
Created articles