9 found
Sort by:
  1. Piergiorgio Odifreddi (2011). Godel's Mathematics of Philosophy. In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. 299.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Piergiorgio Odifreddi (1997). Review: Roger Penrose, Shadows of the Mind. A Search for the Missing Science of Consciousness. [REVIEW] Journal of Symbolic Logic 62 (2):673-675.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Piergiorgio Odifreddi (ed.) (1996). Kreiseliana. About and Around Georg Kreisel. A K Peters.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Piergiorgio Odifreddi (1995). Review: Raymond M. Smullyan, Recursion Theory for Metamathematics. [REVIEW] Journal of Symbolic Logic 60 (4):1324-1326.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Piergiorgio Odifreddi (1989). Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers. Sole Distributors for the Usa and Canada, Elsevier Science Pub. Co..
    Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small (...)
     
    My bibliography  
     
    Export citation  
  6. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. Journal of Symbolic Logic 48 (2):288-310.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  7. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. II. Forcing in Fragments of Analysis. Journal of Symbolic Logic 48 (3):724-743.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  8. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. III. Forcing in Fragments of Set Theory. Journal of Symbolic Logic 48 (4):1013-1034.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  9. Piergiorgio Odifreddi (1983). Review: Hubert C. Kennedy, Peano. Life and Works of Giuseppe Peano. [REVIEW] Journal of Symbolic Logic 48 (2):503-504.
    Direct download  
     
    My bibliography  
     
    Export citation