This book is addressed primarily to researchers specializing in mathemat� ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to embark on research in logic, as well as to teachers at universities and high schools, mathematicians in general, or philosophers wishing to gain a more rigorous conception of deductive reasoning. The material stems from lectures read from 1962 to 1968 at the Faculte des Sciences de Paris and since 1969 at the Universities of Provence and Paris-VI. The only prerequisites demanded of the reader are elementary combinatorial theory and set theory. We lay emphasis on the semantic aspect of logic rather than on syntax; in other words, we are concerned with the connection between formulas and the multirelations, or models, which satisfy them. In this context considerable importance attaches to the theory of relations, which yields a novel approach and algebraization of many concepts of logic. The present two-volume edition considerably widens the scope of the original [French] one-volume edition (1967: Relation, Formule logique, Compacite, Completude). The new Volume 1 (1971: Relation et Formule logique) reproduces the old Chapters 1, 2, 3, 4, 5 and 8, redivided as Word, formula (Chapter 1), Connection (Chapter 2), Relation, operator (Chapter 3), Free formula (Chapter 4), Logicalformula,denumer� able-model theorem (L6wenheim-Skolem) (Chapter 5), Completeness theorem (G6del-Herbrand) and Interpolation theorem (Craig-Lyndon) (Chapter 6), Interpretability of relations (Chapter 7).

Language Notes:

Text: English, French (translation)

"About this title" may belong to another edition of this title.

Store Description

Munster & Company is a family-owned online bookstore located in Corvallis, Oregon with over twenty years of experience in buying and selling books. Our mission is to provide our customers with fine books at fair prices, and provide exceptional customer service.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Munster & Company, LLC
212 SW 3rd St., Corvallis, OR, 97333, U.S.A.

Terms of Sale:

We guarantee the condition of every book that we sell through AbeBooks. If you're unhappy with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you are eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the "Ask Bookseller A Question" link to contact us, and we'll respond within 2 business days.

Shipping Terms:

Orders usually ship via USPS within two business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

PayPal

Add to Wants

Items related to Course in Mathematical Logic Vol. I : Relation and...

Course in Mathematical Logic Vol. I : Relation and Logical Formula

Fraisse, R.

Used - Soft cover

Seller's business information