Switch to: Citations

Add references

You must login to add references.
  1. Kreisel's unwinding of Artin's proof.Charles Delzell - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 113--246.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Sums of Squares.Leon Henkin & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (1):128-129.
    Download  
     
    Export citation  
     
    Bookmark   3 citations