• DocumentCode
    1189554
  • Title

    R 68-44 Mathematical Logic

  • Author

    De Renna E Souza, C.

  • Issue
    10
  • fYear
    1968
  • Firstpage
    1003
  • Lastpage
    1003
  • Abstract
    It would be very simple to yield to the temptation for cheap wit and call this work "an introduction to an introduction." However, it is certainly much more than this, even though it may be advisable for the novice to read it first, before attempting to unravel the intricacies of the author\´s Introduction to Metamathematics. Rather, it represents an honest effort to present parts of the former work to a more general audience, and in this the author succeeds admirably, producing a very readable and lucid work, in many ways superior to other books written with the same intention.1
  • Keywords
    Books; Calculus; Logic; Sections; Set theory; Turing machines;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1968.226453
  • Filename
    1687251