Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Symbolic Logic: Syntax, Semantics, and Proof by David Agler: New
US $122.89
ApproximatelyS$ 157.88
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Standard Shipping.
Located in: Sparks, Nevada, United States
Delivery:
Estimated between Tue, 19 Aug and Sat, 23 Aug 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:363387459537
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
- Symbolic Logic: Syntax, Semantics, and Proof
- Publication Date
- 2012-12-13
- Pages
- 375
- ISBN
- 9781442217423
About this product
Product Identifiers
Publisher
Rowman & Littlefield Publishers, Incorporated
ISBN-10
1442217421
ISBN-13
9781442217423
eBay Product ID (ePID)
117187311
Product Key Features
Number of Pages
375 Pages
Language
English
Publication Name
Symbolic Logic : Syntax, Semantics, and Proof
Publication Year
2012
Subject
Logic
Type
Textbook
Subject Area
Mathematics, Philosophy
Format
Trade Paperback
Dimensions
Item Height
0.8 in
Item Weight
24.2 Oz
Item Length
10 in
Item Width
7 in
Additional Product Features
Intended Audience
College Audience
LCCN
2012-026304
Reviews
"The author provides visually convincing examples that illustrate the concepts of symbolic logic effectively, a feature not commonly found in similar textbooks. The abundance of sample symbolizations and proofs in this book makes it ideal for classroom use." --Masato Ishida, University of Hawaii "Agler's Symbolic Logic: Syntax, Semantics, and Proof is a remarkably clear and systematic introduction to first-order formal logic. Notably, Agler does an excellent job in showing why we use these particular rules through multiple examples and step-by-step explanations of how they develop from general considerations of meaning and truth. This method of building up to the rules of symbolic logic will be incredibly helpful in improving student understanding, since it presents the formalism as something to be understood, rather than simply memorized." --Daniel Brunson, Morgan State University, The author provides visually convincing examples that illustrate the concepts of symbolic logic effectively, a feature not commonly found in similar textbooks. The abundance of sample symbolizations and proofs in this book makes it ideal for classroom use., Agler's Symbolic Logic: Syntax, Semantics, and Proof is a remarkably clear and systematic introduction to first-order formal logic. Notably, Agler does an excellent job in showing why we use these particular rules through multiple examples and step-by-step explanations of how they develop from general considerations of meaning and truth. This method of building up to the rules of symbolic logic will be incredibly helpful in improving student understanding, since it presents the formalism as something to be understood, rather than simply memorized.
Dewey Edition
23
Grade From
College Freshman
Illustrated
Yes
Grade To
College Senior
Dewey Decimal
511.3
Table Of Content
Acknowledgments Introduction Chapter 1 Propositions, Arguments, and Logical Properties Chapter 2 Language, Syntax, and Semantics Chapter 3 Truth Tables Chapter 4 Truth Trees Chapter 5 Propositional Logic Derivations Chapter 6 Predicate Language, Syntax, and Semantics Chapter 7 Predicate Truth Trees Chapter 8 Predicate Logic Derivations Further Reading
Synopsis
Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal langua≥ how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings., Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs., Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings.
LC Classification Number
BC38.A35 2012
Item description from the seller
Seller feedback (515,157)
- h***h (610)- Feedback left by buyer.Past monthVerified purchaseSatisfactory deal
- p***h (176)- Feedback left by buyer.Past monthVerified purchaseA++++++
- 1***c (386)- Feedback left by buyer.Past monthVerified purchaseThe book took more than two weeks to arive after the end of the auction. The inside of the book shows little wear or writing. The cover shows wear/bending, with the first few pages dog-eared. It is impossible to tell whether this is same condition as when the book was shipped or a result of its lengthy journey in non-rigid packaging.
Seller feedback (515,157)
- h***h (610)- Feedback left by buyer.Past monthVerified purchaseSatisfactory deal
- p***h (176)- Feedback left by buyer.Past monthVerified purchaseA++++++
- 1***c (386)- Feedback left by buyer.Past monthVerified purchaseThe book took more than two weeks to arive after the end of the auction. The inside of the book shows little wear or writing. The cover shows wear/bending, with the first few pages dog-eared. It is impossible to tell whether this is same condition as when the book was shipped or a result of its lengthy journey in non-rigid packaging.