Independence results in computer science?

DOI10.1016/0022-0000(81)90013-1zbMath0474.68046MaRDI QIDQ1158957

S. H. Smith

Publication date: 1981

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

Full work available at URL: https://docs.lib.purdue.edu/cstech/264

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