Related Books
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 2020-02-06 - Publisher: Oxford University Press
"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 - wh
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: - Publisher: Univalent Foundations
Language: en
Pages: 486
Pages: 486
Type: BOOK - Published: 2017 - Publisher: Oxford University Press
This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a
Language: en
Pages: 235
Pages: 235
Type: BOOK - Published: 2019-01-29 - Publisher: Springer
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed b
Language: en
Pages: 544
Pages: 544
Type: BOOK - Published: 2012-02 - Publisher: University of Chicago Press
With firm foundations dating only from the 1950s, algebraic topology is a relatively young area of mathematics. There are very few textbooks that treat fundamen
