This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
**** Reprint of the Olaf Helmer translation originally published by Oxford U. Press in 1946 (& cited in BCL3). Annotation c. Book News, Inc., Portland, OR (booknews.com)