Search results for 'Paul C. Rosenbloom' (try it on Scholar)

5 found
Sort by:
  1. Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.score: 290.0
    An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction that also illustrates applications to so-called undecidability and incompleteness theorems. Other topics include the simple proof of the completeness of the theory of combinations, Church's theorem on the (...)
    No categories
     
    My bibliography  
     
    Export citation  
  2. Paul S. Rosenbloom (1987). Weak Versus Strong Claims About the Algorithmic Level. Behavioral and Brain Sciences 10 (3):490.score: 120.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Martin Davis (1953). Review: Paul C. Rosenbloom, The Elements of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 18 (3):277-280.score: 90.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Saunders MacLane (1942). Review: Paul C. Rosenbloom, Post Algebras. I. Postulates and General Theory. [REVIEW] Journal of Symbolic Logic 7 (3):124-125.score: 90.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Gert H. Muller (1959). Review: P. C. Rosenbloom, Konstruktive Aquivalente fur Satze aus der Klassischen Analysis. [REVIEW] Journal of Symbolic Logic 24 (3):238-238.score: 42.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation