Login / Signup
Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory.
Wei Li
Published in:
J. Symb. Log. (2013)
Keyphrases
</>
query language
information retrieval
theoretical foundation
information theory
theoretical basis
formal theory