Modal Homotopy Type Theory
Available
"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 Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emer...
Read more
E-book
pdf
Price
51.99 £ * Old Price 69.17 £
"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 Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emer...
Read more
Follow the Author
