Introduction to Mathematical Logic

New York: Springer Berlin Heidelberg, 1973. Paperback. Good/None. Universitext Series Yellow softcover with black titling on front and spine; spine darkened. Bit of sticker residue on front. Edges are a little shelfworn and page edges darkened, with a tea stain on top. This may be ex-library: indications are scars where a bookplate/envelope were removed from both inside covers. Bottom corners of first 8 pgs. are creased. The interior is unmarked, the spine is uncreased, and the binding is tight. 8vo. Ships from US. BOOK INFO: 'This book...is intended as an introduction to classical two-valued predicate logic.... [It] is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is discussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a probably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property. (-from the preface) Logic; classical logic; two-valued predicate logic