Switch to: Citations

References in:

Omega-consistency and the diamond

Studia Logica 39 (2-3):237 - 243 (1980)

Add references

You must login to add references.
  1. Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
    Download  
     
    Export citation  
     
    Bookmark   113 citations