Marginalia
Category: Logic
A Comprehensive History of Type Theory (1900s--Present)
Truth as Process