Vytisknout
0487354 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
Pudlák, Pavel
Incompleteness in the finite domain.
Bulletin of Symbolic Logic. Roč. 23, č. 4 (2017), s. 405-441. ISSN 1079-8986. E-ISSN 1943-5894
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: finite domain
Obor OECD: Pure mathematics
Impakt faktor: 0.613, rok: 2017
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/incompleteness-in-the-finite-domain/D239B1761A73DCA534A4805A76D81C76
Trvalý link: http://hdl.handle.net/11104/0282020
Pudlák, Pavel
Incompleteness in the finite domain.
Bulletin of Symbolic Logic. Roč. 23, č. 4 (2017), s. 405-441. ISSN 1079-8986. E-ISSN 1943-5894
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: finite domain
Obor OECD: Pure mathematics
Impakt faktor: 0.613, rok: 2017
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/incompleteness-in-the-finite-domain/D239B1761A73DCA534A4805A76D81C76
Trvalý link: http://hdl.handle.net/11104/0282020