Switch to: Citations

References in:

A notion of mechanistic theory

Synthese 29 (1-4):11 - 26 (1974)

Add references

You must login to add references.
  1. Solution of the identity problem for integral exponential functions.D. Richardson - 1969 - Mathematical Logic Quarterly 15 (20-22):333-340.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Zwei Unentscheidbare Probleme Der Analysis.Bruno Scarpellini - 1963 - Mathematical Logic Quarterly 9 (18-20):265-289.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Some undecidable problems involving elementary functions of a real variable.Daniel Richardson - 1968 - Journal of Symbolic Logic 33 (4):514-520.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?G. Kreisel - 1972 - Journal of Symbolic Logic 37 (2):311-334.
    Download  
     
    Export citation  
     
    Bookmark   12 citations