Unprovability of theorems of complexity theory in weak number theories
Daniel LeivantVolume:
18
Year:
1982
Language:
english
Pages:
10
DOI:
10.1016/0304-3975(82)90068-8
File:
PDF, 1.15 MB
english, 1982