Picture 1 of 1

Gallery
Picture 1 of 1

Have one to sell?
Michal Walicki Introduction To Mathematical Logic (Extend (Hardback) (UK IMPORT)
All Tariffs and Duties included - no additional charges
US $111.68
ApproximatelyRM 467.66
Condition:
8 available
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Standard Shipping from outside US.
Located in: Rushden, United Kingdom
Delivery:
Estimated between Fri, 28 Nov and Tue, 9 Dec to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:365864607487
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- Introduction To Mathematical Logic (Extended Edition)
- Title
- Introduction To Mathematical Logic (Extended Edition)
- EAN
- 9789814719957
- ISBN
- 9789814719957
- Edition
- Extended ed
- Release Date
- 10/03/2016
- Release Year
- 2016
- Country/Region of Manufacture
- SG
- Genre
- Science Nature & Math
About this product
Product Identifiers
Publisher
World Industries Scientific Publishing Co Pte LTD
ISBN-10
9814719951
ISBN-13
9789814719957
eBay Product ID (ePID)
219308453
Product Key Features
Number of Pages
292 Pages
Publication Name
Introduction to Mathematical Logic
Language
English
Subject
History & Philosophy, Logic, Discrete Mathematics
Publication Year
2016
Type
Textbook
Subject Area
Mathematics
Format
Hardcover
Dimensions
Item Weight
0 Oz
Additional Product Features
Intended Audience
Trade
LCCN
2016-015933
Dewey Edition
23
Illustrated
Yes
Dewey Decimal
511.3
Synopsis
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers propositional and first order logic -- their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts. Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules -- of a high, though often neglected, pedagogical value -- aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers. An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic. This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse., This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic -- their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules -- of a high, though often neglected, pedagogical value -- aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse.
LC Classification Number
QA9.W334 2016
Item description from the seller
Seller business information
VAT number: GB 864154811
Seller feedback (799,676)
- _***n (158)- Feedback left by buyer.Past monthVerified purchaseThe "Latin Classics. Volume 2" CD is brand new, as stated in the ad.The disc itself is of good quality. The CD was packaged in a cardboard box, and unfortunately, the jewel case cracked during transportation and delivery, but the seller compensated for this issue by refunding 20% of the order price. The seller always responds to customer messages, which is very nice. The seller is honest and respectable. I am very pleased with the purchase. Thank you very much! I wish the seller all the best!
- s***e (4)- Feedback left by buyer.Past 6 monthsVerified purchaseThe item arrived earlier than expected and with easy shipping; It was carefully packaged and arrived in perfect condition. It's a DVD and I have not played it yet but it is brand new and in sealed packaging. It is what I expected and as described. The price included shipping and was very reasonable. Ordering from another country went very smoothly. Lots of shipping communication. No communication with seller was needed. I am very happy with this seller and definitely recommend them.
- e***l (2)- Feedback left by buyer.Past 6 monthsVerified purchaseThis seller was not only responsive, but they were also understanding and worked with me to make sure my purchase arrived in a timely manner, unlike some of the others on this site. The package arrived in Great Condition, the Product was as described, brand new never opened. Their Pricing was absolutely right on, very very happy with them.Faller FA170886 Decorative Plate Professional Tunnel Tube Rock Structure Accesso (#135821302287)
More to explore :
- Mathematics Textbooks,
- Mathematics Textbook Textbooks,
- Penguin Hardback Classics In Fiction & Literature Books,
- Mathematics Paperback Textbooks,
- Mathematics Textbooks in Spanish,
- Mathematics Study Study Guides Prep,
- Mathematics 1st Edition Textbooks,
- Logic Textbooks in English,
- Mathematics Books 1850-1899,
- Mathematics Books 1900-1949

