12 found
Order:
  1.  3
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   29 citations  
  2. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. Journal of Symbolic Logic 48 (2):288-310.
  3. Piergiorgio Odifreddi (ed.) (1996). Kreiseliana. About and Around Georg Kreisel. A K Peters.
     
    Export citation  
     
    My bibliography   1 citation  
  4.  9
    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.
  5.  7
    Piergiorgio Odifreddi (1983). Forcing and Reducibilities. III. Forcing in Fragments of Set Theory. Journal of Symbolic Logic 48 (4):1013-1034.
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  6.  6
    Piergiorgio Odifreddi (1983). Forcing and Reducibilities. II. Forcing in Fragments of Analysis. Journal of Symbolic Logic 48 (3):724-743.
  7. Piergiorgio Odifreddi (1983). Kennedy Hubert C.. Peano. Life and Works of Giuseppe Peano. Studies in the History of Modern Science, Vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, Xii + 230 Pp. [REVIEW] Journal of Symbolic Logic 48 (2):503-504.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Piergiorgio Odifreddi (1997). Penrose Roger. Shadows of the Mind. A Search for the Missing Science of Consciousness. Oxford University Press, Oxford, New York, and Melbourne, 1994, Xvi + 457 Pp. [REVIEW] Journal of Symbolic Logic 62 (2):673-675.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Piergiorgio Odifreddi (1983). Review: Hubert C. Kennedy, Peano. Life and Works of Giuseppe Peano. [REVIEW] Journal of Symbolic Logic 48 (2):503-504.
     
    Export citation  
     
    My bibliography  
  10. Piergiorgio Odifreddi (1995). Review: Raymond M. Smullyan, Recursion Theory for Metamathematics. [REVIEW] Journal of Symbolic Logic 60 (4):1324-1326.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  12. Piergiorgio Odifreddi (1995). Smullyan Raymond M.. Recursion Theory for Metamathematics. Oxford Logic Guides, No. 22. Oxford University Press, New York and Oxford 1993, Xiv + 163 Pp. [REVIEW] Journal of Symbolic Logic 60 (4):1324-1326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography