First course mathematical logic (63 résultats)

Paperback. Etat : Fair. Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds -- including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions. A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.…

paperback. Etat : Very Good. Fast shipping and order satisfaction guaranteed. A portion of your purchase benefits Non-Profit Organizations, First Aid and Fire Stations.

Paperback. Etat : Good. In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.…

Paperback. Etat : Very Good. Reprint. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Paperback. Etat : 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. Etat : Fair. Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds -- including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions. A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.…

Etat : acceptable. The item is very worn but is perfectly usable. Signs of wear can include aesthetic issues such as scratches, dents, worn and creased covers, folded page corners and minor liquid stains. All pages and the cover are intact, but the dust cover may be missing. Pages may include moderate to heavy amount of notes and highlighting, but the text is not obscured or unreadable. Page edges may have foxing age related spots and browning . May NOT include discs, access code or other supplemental materials.…

Paperback. Etat : Good. In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.…

Etat : New.

Etat : New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books.

Paperback or Softback. Etat : New. Mathematical Logic: A First Course. Book.

Etat : very_good. Very good condition. Light Wear.

Etat : New. Brand New.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : Like New. First Edition. First Edition, First Printing. Published by Dover Publications, 2006. Octavo. Paperback. Book is like new.

Etat : New.

Paperback. Etat : New. Brand new book, sourced directly from publisher. Dispatch time is 7-8 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Hardcover. Etat : Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Etat : Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Hardcover. 212pp Inked name/date inside, else very good plus condition with text clean and binding sound.

Hardcover. Etat : UsedGood. ASIN: B000GK42IK; Hardcover; fading and shelf wear to exterior; otherwise c ontents in good condition with clean text, firm binding.

Etat : Good.

Paperback. Etat : new. Paperback. In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities. Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Etat : New.

Etat : New. pp. ix + 274.

Etat : New. pp. ix + 274.

Etat : As New. Unread book in perfect condition.

Hardcover. Etat : Good. No Jacket. Markings on first blank page, slight foxing throughout. Category: Science.

Paperback. Etat : Brand New. reprint edition. 274 pages. 8.75x5.75x1.00 inches. In Stock.