Modal homotopy type theory : the prospect of a new logic for philosophy /
| Hlavní autor: |
Corfield, David
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Oxford :
Oxford University Press,
2020.
|
| Předmět: | |