Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.
    Download  
     
    Export citation  
     
    Bookmark   31 citations