Počet záznamů: 1
On lengths of proofs in non-classical logics
- 1.HRUBEŠ, Pavel. On lengths of proofs in non-classical logics. Annals of Pure and Applied Logic. 2009, 157(2-3), 194-205. ISSN 0168-0072. E-ISSN 1873-2461. Dostupné z: doi: 10.1016/j.apal.2008.09.013
Počet záznamů: 1