0522505 - MÚ 2020 RIV eng U - Conference, Workshop Arrangement
Chodounský, David - Verner, J. - Cintula, Petr - Honzík, R. - Hubička, J. - Pudlák, Pavel - Starý, J. - Stejskalová, Šárka - Thapen, Neil
Logic Colloquium 2019.
[Prague, 11.08.2019-16.08.2019, (K-WRD 230/198)]
Institutional support: RVO:67985840 ; RVO:67985807
Keywords : mathematical logic
OECD category: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Permanent Link: http://hdl.handle.net/11104/0306989
Chodounský, David - Verner, J. - Cintula, Petr - Honzík, R. - Hubička, J. - Pudlák, Pavel - Starý, J. - Stejskalová, Šárka - Thapen, Neil
Logic Colloquium 2019.
[Prague, 11.08.2019-16.08.2019, (K-WRD 230/198)]
Institutional support: RVO:67985840 ; RVO:67985807
Keywords : mathematical logic
OECD category: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Permanent Link: http://hdl.handle.net/11104/0306989