2024-03-28T21:49:46Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00054569
2024-03-22T00:18:26Z
117:478
3:2651:1693
a review of Modal homotopy type theory. The prospect of a new logic for philosophy by Corfield, David
西村, 泰一
ニシムラ, ヒロカズ
NISHIMURA, Hirokazu
article
FIZ Karlsruhe GmbH
2020
application/pdf
Zentralblatt MATH
https://tsukuba.repo.nii.ac.jp/record/54569/files/07162136.pdf
eng
Zbl 07162136
https://zbmath.org/?q=an%3A07162136
© 2020 FIZ Karlsruhe GmbH
open access