Abstract
Get full access to this article
View all access options for this article.
References
1.
Suppes Patrick
, and
Hill Shirley
First Course in Mathematical Logic. New York , Blaisdell 1964 .
2.
Fitzgerald J. P.
Programmed Modern Arithmetic Logic. Boston , D. C. Heath 1965 .