Publication:4942681
From MaRDI portal
zbMath0938.03064MaRDI QIDQ4942681
Publication date: 14 March 2000
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)
Related Items