Modal Homotopy Type Theory

David Corfield

Bog | Engelsk

Beskrivelse

"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Freg…