Number of the records: 1
Incompleteness in the finite domain
- 1.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
OECD category: Pure mathematics
Impact factor: 0.613, year: 2017
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/incompleteness-in-the-finite-domain/D239B1761A73DCA534A4805A76D81C76
http://hdl.handle.net/11104/0282020
Number of the records: 1