Corrigendum to ``Independence results in computer science?

DOI10.1016/0022-0000(82)90034-4zbMath0484.68024OpenAlexW4211081091MaRDI 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

Abstract data types; algebraic specification (68Q65) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01)

Cites Work

• Independence results in computer science?