Login / Signup
Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees.
André Nies
Richard A. Shore
Published in:
Ann. Pure Appl. Log. (1995)
Keyphrases
</>
truth table
knowledge base