Jäger Gerhard

Доклады и лекции в базе данных Math-Net.Ru

1. Strict $\Pi^1_1$-reflection: A proof-theoretic perspective
   G. Jäger
   Logical Perspectives 2021: Conference
   10 июня 2021 г. 17:30