Part of the Logic and Foundations of Mathematics Commons

Works by Tristan Johnson in Logic and Foundations of Mathematics

2016

Reading Between the Lines: Verifying Mathematical Language, Tristan Johnson
Honors Theses

PDF