First Order Logic (643 results)

Condition: Acceptable. Item in acceptable condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.

Condition: Very Good. A bright, square, and overall a nice copy.

Paperback. Condition: Good. Follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.

Paperback. Condition: Fair. Attractive and well-written introduction. -- Journal of Symbolic LogicThe logic that mathematicians use to prove their theorems is itself a part of mathematics, in the same way that algebra, analysis, and geometry are parts of mathematics. This attractive and well-written introduction to mathematical logic is aimed primarily at undergraduates with some background in college-level mathematics; however, little or no acquaintance with abstract mathematics is needed.Divided into three chapters, the book begins with a brief encounter of na ve set theory and logic for the beginner, and proceeds to set forth in elementary and intuitive form the themes developed formally and in detail later. In Chapter Two, the predicate calculus is developed as a formal axiomatic theory. The statement calculus, presented as a part of the predicate calculus, is treated in detail from the axiom schemes through the deduction theorem to the completeness theorem. Then the full predicate calculus is taken up again, and a smooth-running technique for proving theorem schemes is developed and exploited.Chapter Three is devoted to first-order theories, i.e., mathematical theories for which the predicate calculus serves as a base. Axioms and short developments are given for number theory and a few algebraic theories. Then the metamathematical notions of consistency, completeness, independence, categoricity, and decidability are discussed, and the predicate calculus is proved to be complete. The book concludes with an outline of Godel's incompleteness theorem.Ideal for a one-semester course, this concise text offers more detail and mathematically relevant examples than those available in elementary books on logic. Carefully chosen exercises, with selected answers, help students test their grasp of the material. For any student of mathematics, logic, or the interrelationship of the two, this book represents a thought-provoking introduction to the logical underpinnings of mathematical theory.An excellent text. -- Mathematical Reviews.…

Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Condition: acceptable. Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media.

Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Condition: very_good.

Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Condition: Acceptable. FORMER LIBRARY COPY,MAY HAVE INDENTIFYING STAMPS AND/OR STICKERS BUT REMAINS IN FINE READABLE CONDITION. BOOK EDGES AND/OR PAGES ARE SHOWING WEAR. Former Library book. paperback 100% of proceeds go to charity! Acceptable reading copy with obvious signs of use, wear, and/or cosmetic issues. Item is complete and remains readable despite notable condition issues.…

Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Paperback. Condition: Good. Follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.

Paperback. Condition: Good. Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in analytic or cut-free methods. We use the term analytic to apply to any proof procedure which obeys the subformula principle (we think of such a procedure as analysing the formula into its successive components). Gentzen cut-free systems are perhaps the best known example of ana- lytic proof procedures. Natural deduction systems, though not usually analytic, can be made so (as we demonstrated in 3]). In this study, we emphasize the tableau point of view, since we are struck by its simplicity and mathematical elegance. Chapter I is completely introductory. We begin with preliminary material on trees (necessary for the tableau method), and then treat the basic syntactic and semantic fundamentals of propositional logic. We use the term Boolean valuation to mean any assignment of truth values to all formulas which satisfies the usual truth-table conditions for the logical connectives. Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under this assignment is usually defined by an inductive procedure. We indicate in Chapter I how this inductive definition can be made explicit-to this end we find useful the notion of a formation tree (which we discuss earlier).…

Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Condition: good. This item has a different cover than shown in the listing, but shares the same ISBN. Some sun-fading on the cover. Some shelf, storage or usage wear present. The binding is tight and all pages are present. Light staining on the page edges. Pictures available upon request. Individually inspected by Calla. Thanks for supporting an independent bookseller. …

paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Paperback. Condition: Good. Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in analytic or cut-free methods. We use the term analytic to apply to any proof procedure which obeys the subformula principle (we think of such a procedure as analysing the formula into its successive components). Gentzen cut-free systems are perhaps the best known example of ana- lytic proof procedures. Natural deduction systems, though not usually analytic, can be made so (as we demonstrated in 3]). In this study, we emphasize the tableau point of view, since we are struck by its simplicity and mathematical elegance. Chapter I is completely introductory. We begin with preliminary material on trees (necessary for the tableau method), and then treat the basic syntactic and semantic fundamentals of propositional logic. We use the term Boolean valuation to mean any assignment of truth values to all formulas which satisfies the usual truth-table conditions for the logical connectives. Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under this assignment is usually defined by an inductive procedure. We indicate in Chapter I how this inductive definition can be made explicit-to this end we find useful the notion of a formation tree (which we discuss earlier).…

Paperback. Condition: Very Good. First-order Logic (Dover Books on MaTHEMA 1.4tics) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.…

paperback. Condition: Very Good. This book is from an inventory that we have been able to price inexpensively because it has minimal description. All of the books from this inventory are in very good condition or better, with the potential for light shelf-wear; many are particularly nice examples. May have a small remainder mark at textblock edge. …

paperback. Condition: Very Good. This book is from an inventory that we have been able to price inexpensively because it has minimal description. All of the books from this inventory are in very good condition or better, with the potential for light shelf-wear; many are particularly nice examples. May have a small remainder mark at textblock edge. …

Paperback. Condition: Good+. Reissue Edition. Dover Books On Mathematics; 5.42 X 0.39 X 8.48 inches; 158 pages; minor markings in the margins on a few pages. Previous owner's name on a prelim page. Minor, faint smudges on the top exterior edge of textblock. Minor shelf wear. Minor creasing on front cover. Good condition otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be packaged with care and ship on the same or next business day. Buy with confidence.…