Zobrazeno 1 - 10 of 469 pro vyhledávání: '"Homotopy type theory"'
1
Review
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy: by D. Corfield, Oxford, Oxford University Press, 2020. x + 180 p. £69. ISBN: 978-0-19-885340-4.
Autor: Klev, A.1 klev@flu.cas.cz, Zwanziger, C.1 zwanziger@flu.cas.cz
Publikováno v: History & Philosophy of Logic. Aug2023, Vol. 44 Issue 3, p337-342. 6p.
Zobrazit plný text záznamu
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY
Autor: GYLTERUD, HÅKON ROBBESTAD
Publikováno v: The Journal of Symbolic Logic, 2018 Sep 01. 83(3), 1132-1146.
Externí odkaz: https://www.jstor.org/stable/26600365
Zobrazit plný text záznamu
8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje