Počet záznamů: 1
The canonical pairs of bounded depth Frege systems
- 1.Pudlák, Pavel
The canonical pairs of bounded depth Frege systems.
Annals of Pure and Applied Logic. Roč. 172, č. 2 (2021), č. článku 102892. ISSN 0168-0072. E-ISSN 1873-2461
Obor OECD: Pure mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102892
http://hdl.handle.net/11104/0313709
Počet záznamů: 1