Výsledky vyhledávání
- 1.0507686 - ÚI 2020 CZ eng A - Abstrakt
Badia, G. - Cintula, Petr - Tedder, Andrew
How much propositional logic suffices for Rosser’s undecidability theorem?
Logic Colloquium 2019. Book of abstracts. Praha: AMCA, 2019 - (Chodounský, D.; Stejskalová, J.; Verner, J.). s. 171-171. ISBN 978-80-88214-19-9.
[Logic Colloquium 2019. 11.08.2019-16.08.2019, Praha]
Institucionální podpora: RVO:67985807
https://lc2019.cz/static/abstracts/LC2019-Book_of_abstracts.pdf?80229d306947a24f4d93
Trvalý link: http://hdl.handle.net/11104/0298669Název souboru Staženo Velikost Komentář Verze Přístup 0507686-aw.pdf 0 264.3 KB volně na webu Vydavatelský postprint povolen