4 found
Sort by:
  1. Edward R. Griffor (ed.) (1999). Handbook of Computability Theory. Elsevier.
    The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Klaus Ambos-Spies, Marat Arslanov, Douglas Cenzer, Peter Cholak, Chi Tat Chong, Decheng Ding, Rod Downey, Peter A. Fejer, Sergei S. Goncharov & Edward R. Griffor (1998). Participants and Titles of Lectures. Annals of Pure and Applied Logic 94:3-6.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Michael Rathjen, Edward R. Griffor & Erik Palmgren (1998). Inaccessibility in Constructive Set Theory and Type Theory. Annals of Pure and Applied Logic 94 (1-3):181-200.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Edward R. Griffor (1983). Some Consequences of Ad for Kleene Recursion in 3e. Mathematical Logic Quarterly 29 (10):485-492.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation