Mathematical logic with special reference to the natural numbers

by S. W. P. Steen

1972 638 pages eng

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a s…