Počet záznamů: 1
Induction rules in bounded arithmetic
- 1.Jeřábek, Emil
Induction rules in bounded arithmetic.
Archive for Mathematical Logic. Roč. 59, č. 3-4 (2020), s. 461-501. ISSN 0933-5846. E-ISSN 1432-0665
Obor OECD: Pure mathematics
Impakt faktor: 0.287, rok: 2020
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
http://hdl.handle.net/11104/0307919
Počet záznamů: 1