Definability and forcing in E-recursion

• E. R. Griffor ^[1]
  1. [1] Uppsala University

     Uppsala University

     Uppsala domkyrkoförs., Suecia

     
• Localización: Mathematica scandinavica, ISSN 0025-5521, Vol. 57, Nº 1, 1985, págs. 5-28
• Idioma: inglés
• DOI: 10.7146/math.scand.a-12103
• Enlaces
  • Texto completo