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
Link To Document :
بازگشت