Switch to: Citations

References in:

Relative Interpretations

Mathematical Logic Quarterly 7 (7-10):146-153 (1961)

Add references

You must login to add references.
  1. (1 other version)Representability op recursively enumerable sets in formal theories.A. Ehrenfeucht & S. Feferman - 1960 - Archive for Mathematical Logic 5 (1-2):37-41.
    Download  
     
    Export citation  
     
    Bookmark   7 citations