TY  - BOOK
AU  - Lightstone,A.H.
TI  - Symbolic logic and the real number system: an introduction to the foundations of number systems 
AV  - QA255QA255 .L55.L55
U1  - 512.81 
PY  - 1965///
CY  - New York
PB  - Harper & Row
KW  - Arithmetic
KW  - Foundations
KW  - Logic, Symbolic and mathematical
N1  - Bibliography: p. 222
ER  -