Stock photo
Stock photo
Dover Books on Mathematics Ser.: Introduction to Elementary Mathematical Logic by A. A. Stolyar (2010, Trade Paperback)
ThriftBooks (3881060)
99% positive feedback
Price:
US $7.04
ApproximatelyPHP 391.40
+ $7.88 shipping
Returns:
No returns, but backed by .
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherDover Publications, Incorporated
ISBN-100486645614
ISBN-139780486645612
eBay Product ID (ePID)444438
Product Key Features
Number of Pages220 Pages
LanguageEnglish
Publication NameIntroduction to Elementary Mathematical Logic
SubjectLogic
Publication Year2010
TypeTextbook
Subject AreaMathematics
AuthorA. A. Stolyar
SeriesDover Books on Mathematics Ser.
FormatTrade Paperback
Dimensions
Item Height0.5 in
Item Weight9.5 Oz
Item Length8.4 in
Item Width5.4 in
Additional Product Features
Intended AudienceCollege Audience
Dewey Edition18
IllustratedYes
Dewey Decimal511/.3
Table Of ContentAuthor's Preface; Introduction I. Propositional Logic 1. Objects and operations 2. Formulas. Equivalent formulas. Tautologies 3. Examples of the application of the laws of the logic of propositions in derivations 4. Normal forms of functions. Minimal forms 5. Application of the algebra of propositions to the synthesis and analysis of discrete-action networks II. The Propositional Calculus 1. The axiomatic method. The construction of formalized languages 2. Construction of a propositional calculus (alphabet, formulas, derived formulas) 3. Consistency, independence, and completeness of a system of axioms in the propositional calculus III. Predicate Logic 1. Sets. Operations on sets 2. The inadequacy of propositional logic. Predicates 3. Operations on predicates. Quantifiers 4. Formulas of predicate logic. Equivalent formulas. Universally valid formulas 5. Traditional logic (the logic of one-place predicates) 6. Predicate logic with equality. Axiomatic construction of mathematical theories in the language of predicate logic with equality Appendix I. A proof of the duality principle for propositional logic Appendix II. A proof of the deduction theorem for the propositional calculus Appendix III. A proof of he completeness theorem for the propositional calculus Bibliography; Index of Special Symbols; Index
Edition DescriptionReprint,New Edition
SynopsisLucid, accessible exploration of propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. 1970 edition., This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. Accessible to high school students, it also constitutes a valuable review of fundamentals for professionals. 1970 edition.
LC Classification NumberBC135.S761
Be the first to write a review
