Landon D. C. Elkind
Publications
Talks
Teaching
Research
Outreach
Blog
CV

Landon D. C. Elkind

Landon D. C. Elkind

Philosopher, Logician, Logical Atomist

Bowling Green, Kentucky, USA
Western Kentucky University
Github
Google Scholar
ORCID

Digitizing Principia Mathematica with `TeX` and `Coq`

Date: July 23, 2021

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2024 Landon D. C. Elkind. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.