Search results
- 1.0547264 - ÚI 2022 eng U - Conference, Workshop Arrangement
Beckmann, A. - Belanger, D. - Fernández-Duque, David - Neyt, L. - Urbaniak, R. - Weiermann, A.
The Proof Society Summer School 2018 Co-Sponsored by the Association for Symbolic Logic.
[Ghent, 02.09.2018-05.09.2018, (W-WRD)]
https://doi.org/10.1017/bsl.2018.96 https://www.proofsociety.org/past/summer-school-2018/
Permanent Link: http://hdl.handle.net/11104/0323541