This introduction covers the calculus of propositions as well as quantification theory. Presupposing no more than a familiarity with the most elementary principles of logic and mathematics, the book is accessible to the high-school student or the layman desiring a clear and straightforward presentation of the subject that will prepare him to take on the standard, more advanced texts. The book is carefully designed to be self-sufficient for purposes of self-study, and the exercises following the end of each section can be used by the student to gauge the level of his understanding: they serve as "feedback signals" that tell him if he should proceed or review the material just covered.

Of particular interest is the application of the logic of propositions to the analysis and synthesis of digital systems, which is presented at the end of the first of the three sections.

The first section develops the fundamentals of the logic of propositions. Taken up in turn are objects and operations; formulas, equivalent formulas, and identically true formulas; applications; normal and minimum forms of functions; and applications to digital systems.

The second section covers the calculus of propositions. Material is presented on the axiomatic approach, including the consistency, independence, and completeness of a system of axioms in the calculus of propositions.

The logic of predicates is the subject of the last section. It treats in some detail operations on sets, defects in the logic of propositions, operations on predicates, quantifiers, equivalent and generally valid formulas, aspects of traditional logic, equality relations, and the axiomatic derivation of the mathematical theory.

References to more advanced studies available in English are provided.

Language Notes:

Text: English, Russian (translation)

"About this title" may belong to another edition of this title.

Store Description

Over 5,000 square feet of retail space with 75,000 books on three levels. Open 6 days a week: Tue-Fri 11am-7pm, Sat 10am-7pm, Sun 12noon-5pm, Mondays by appointment.

Visit Seller's Storefront

Seller's business information

Dom Bibliofil LLC
3111 South Grand Blvd, St Louis, MO, 63118, U.S.A.

Terms of Sale:

We accept Master Card and Visa. We will ship all books
within 48 hours of receipt of payment. Insurance extra. Oversized books and sets
will require additional shipping charges. Ask about new international shipping
rates.

Shipping Terms:

IMPORTANT NOTICE - Please note that standard (economy surface) mail is no longer available to buyers outside of North America. All international orders will be shipped via USPS Priority International. The $23.95 International Rate quoted is based on our ability to put the book(s) in a US Postal Service "Priority Mail Flat Rate Envelope" with 4 pound maximum weight. Larger shipments that will not fit in the flat rate envelope will cost much much more (we will get you the best rate that we can). We will notify you if the shipment will cost more than $23.95. Orders usually ship within 2 business days.

Payment Methods
accepted by seller

Add to Wants

Items related to Introduction to Elementary Mathematical Logic

Introduction to Elementary Mathematical Logic

A. A. Stolyar

Used - Hardcover

Seller's business information