Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Czasopismo: Mathematical Logic Quarterly
Liczba publikacji: 32010
- Zofia Adamowicz, Leszek Kołodziejczyk , A note on the $\Sigma_1$ collection scheme and fragments of bounded arithmetic, Mathematical Logic Quarterly, 2010. Zobacz w PBN
2009
- Leszek Kołodziejczyk , Neil Thapen, The polynomial and linear time hierarchies in $V^0$, Mathematical Logic Quarterly, 2009. Zobacz w PBN
2000
- E Rosen, Jerzy Tyszkiewicz , SO(AE*) sentences and their asymptotic probabilities, Mathematical Logic Quarterly, 2000. Zobacz w PBN
