Title: Architecture and Archaeology of Modern Logic