DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Springer 2009 3rd 2010 ed. Trade paperback Fair This is a USED book, it is subject to external and interior wear including, underlining, highlighting, annotations, water damage, minor scuffs and tears. This is a donated book accepted as is. Stickers and sticker residue on the cover should be expected, as well as spine wear from use. There are NO codes or disc(s) included. All items ship Monday-Friday within 2-3 business days. Thank you for supporting Goodwill of OC.
New York, NY Springer 2009 3rd 2010 ed. Trade paperback New. Trade paperback (US). Glued binding. 320 p. Contains: Unspecified, Illustrations, black & white, Tables, black & white. Universitext.
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer New York] Softcover Druck auf Anfrage Neuware - Printed after ordering - Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy.This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as a graduate text, the first three chapters can easily be read by undergraduates interested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications of formalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view towards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and related topics.The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mat ...
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. [Montgomery, IL, U.S.A.] [Publication Year: 2009]
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer New York] Softcover Druck auf Anfrage Neuware - Printed after ordering - Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy.This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as a graduate text, the first three chapters can easily be read by undergraduates interested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications of formalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view towards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and related topics.The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mat ...
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. [Hawthorne, CA, U.S.A.] [Publication Year: 2009]
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover Acceptable/Fair condition. Book is worn, but the pages are complete, and the text is legible. Has wear to binding and pages, may be ex-library. [Tucson, AZ, U.S.A.] [Publication Year: 2009]
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within [Amherst, NY, U.S.A.] [Publication Year: 2009]
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover New! This book is in the same immaculate condition as when it was published [Tucson, AZ, U.S.A.] [Publication Year: 2009]
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The A Concise Introduction to Mathematical Logic. ISBN 1441912207 9781441912206 [GB]
New York, NY Springer 2009 3rd 2010 ed. Trade paperback New. Trade paperback (US). Glued binding. 320 p. Contains: Unspecified, Illustrations, black & white, Tables, black & white. Universitext.
Paperback / softback. New. Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised. ISBN 1441912207 9781441912206 [GB]
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover New. Fast Shipping and good customer service [Fayetteville, TX, U.S.A.] [Publication Year: 2009]
ISBN10: 1441912207, ISBN13: 9781441912206, [publisher: Springer] Softcover New Copy. Customer Service Guaranteed [Denver, CO, U.S.A.] [Publication Year: 2009]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.