Corrigendum to ``Independence results in computer science?

DOI10.1016/0022-0000(82)90034-4zbMath0484.68024MaRDI QIDQ1163858

S. Singh

Publication date: 1982

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(82)90034-4

zbMATH Keywords

weak theories of arithmetic

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

03D80: Applications of computability and recursion theory

68N01: General topics in the theory of software