Number of the records: 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. Roč. 157, 2-3 (2009), s. 194-205. ISSN 0168-0072. E-ISSN 1873-2461
Impact factor: 0.667, year: 2009
http://hdl.handle.net/11104/0181141
Number of the records: 1