Počet záznamů: 1
The canonical pairs of bounded depth Frege systems
- 1.Pudlák, P. The canonical pairs of bounded depth Frege systems. Annals of Pure and Applied Logic. 2021, 172(2), 102892. ISSN 0168-0072. E-ISSN 1873-2461. Dostupné z: doi: 10.1016/j.apal.2020.102892.
Počet záznamů: 1