Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Stan S. Wainer"'
Autor:
Stan S. Wainer, Geoffrey E. Ostrin
Publikováno v:
New Computational Paradigms ISBN: 9783540261797
CiE
CiE
Complexity classes between Grzegorczyk's E2 and E3 are characterized in terms of provable recursion in a theory EA(I;O) formalising basic principles of Nelson's Predicative Arithmetic. Extensions by inductive definitions enable full arithmetic PA and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abfa09463a2955b02b593b3fbf3d6d49
https://doi.org/10.1007/11494645_47
https://doi.org/10.1007/11494645_47
Publikováno v:
Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-26, 26p
Autor:
Kristiansen, Lars
Publikováno v:
Archive for Mathematical Logic. 1998, Vol. 37 Issue 2, p105. 21p.
Autor:
Petr Hájek
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This