Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine by Kreisel, Georg Krivine, J. L. (Jean Louis) - 1967

Amsterdam: North Holland Pub. Co., 1967. Ex-Lib. Hardcover. Very Good-/None. Studies in logic and the foundations of mathematics Yellow cloth boards, toned along spine and lightly soiled. Interior is clean, and text is unmarked. Pastedowns are scarred where bookplates were removed. Title page blindstamped Oberlin College Library; copyright page has a blue-stamped 6-digit number. Rear fep ink stamped/dated. Binding is sound. 8vo. BOOK INFO: See photos for Table of Contents. 'This book presents the principles of the Axiomatic Method, here formulated in set theoretic, also called: semantic, terms.... The most general results on the Axiomatic Method known, apply to axiomatic systems formulated in the language of predicate logic of first order restricted to finite formulas. Much of this theory can be generalized to suitable infinite formulas of first order, less to languages of higher order, even when they are restricted to finite formulas. The last chapter contains some information on such generalizations. The treatment is set theoretic in that the basic notions above are defined in the vocabulary of current set theory: sets, membership relations, logical operations. This book contains the elementary, more or less classical , results of its subject. Each of its eight chapters is preceded by a summary which not only indicates the general content of the chapter, but also the relation of the exercises to the main theorems. Translation of Elements de logique mathematique, theorie des modeles. Logic, Symbolic and mathematical