Mathematical logic with special referenc
β
S. W. P. Steen
π
Library
π
2008
π
Cambridge University Press
π
English
β 5 MB
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