Počet záznamů: 1
Induction rules in bounded arithmetic
- 1.JEŘÁBEK, Emil. Induction rules in bounded arithmetic. Archive for Mathematical Logic. 2020, 59(3-4), 461-501. ISSN 0933-5846. E-ISSN 1432-0665. Dostupné z: doi: 10.1007/s00153-019-00702-w.
Počet záznamů: 1