Works by Dieter Rodding

( view other items matching `Dieter Rodding`, view all matches )
5 found
Order:
  1.  8
    Unsolvable Classes of Quantificational Formulas.Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  24
    Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  12
    Harry R. Lewis. Unsolvable classes of quantificational formulas. Advanced book program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xv + 198 pp. [REVIEW]Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  27
    Müller Gert Heinz. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest 1965, S. 45–51.Müller G. H.. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440. [REVIEW]Dieter Rödding - 1973 - Journal of Symbolic Logic 38 (1):156-157.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. Review: Harry R. Lewis, Unsolvable Classes of Quantificational Formulas. [REVIEW]Dieter Rodding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
     
    Export citation  
     
    Bookmark