Opening book details…
About this scholarly article
Prop and Logical Operators in Impredicative MTTs by Chatzikyriakidis, Stergios; Luo, Zhaohui is a scholarly article available to read on EtoBox.
- Author
- Chatzikyriakidis, Stergios; Luo, Zhaohui
- Publisher
- Wiley
- Published
- 2020
More by Chatzikyriakidis, Stergios; Luo, Zhaohui
Browse all works by Chatzikyriakidis, Stergios; Luo, Zhaohui