Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Software Design, Testing & Engineering   Logic

Modern Logic: A Text in Elementary Symbolic Logic


Mega Sale! Save 22% on the Modern Logic: A Text in Elementary Symbolic Logic by Oxford University Press, USA at EMS Linux. MPN: line illustrations. Hurry! Limited time offer. Offer valid only while supplies last. Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve


Product Description

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work.

Additional Information

Manufacturer:Oxford University Press
Brand:Oxford University Press, USA
Part Number:line illustrations
Publisher:Oxford University Press
Studio:Oxford University Press
MPN:line illustrations
EAN:9780195080292
Item Weight:1.33 pounds
Item Size:0.74 x 6.5 x 6.5 inches
Package Weight:1.35 pounds
Package Size:6.4 x 0.8 x 0.8 inches

Modern Logic: A Text in Elementary Symbolic Logic by Oxford University Press, USA

Buy Now:
Modern Logic: A Text in Elementary Symbolic Logic

Brand: Oxford University Press, USA
4.4 out of 5 stars with 17 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$97.95
$76.99
You Save: 21%


Quantity:  

 


View More In Logic.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Oxford University Press, USA, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Morgan Kaufmann Publishers
mpn: 23581071, ean: 9780120887859, isbn: 0120887851,
VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to VHDL has become a standard in the industry for learning the features of VHDL and using it to verify ha...

By McGraw-Hill Education
ean: 9780070242470, isbn: 007024247X,
Light photons impinging upon a semiconductor material in the vicinity of a P-N junction release conduction carriers to produce current flow through the photodiode effect. Photodiode amplifiers convert this current to a voltage in a relationship that ...

By Wiley-Interscience
ean: 9780470185315, isbn: 0470185317,
This book uses a "learn by doing" approach to introduce the concepts and techniques of VHDL and FPGA to designers through a series of hands-on experiments. FPGA Prototyping by VHDL Examples provides a collection of clear, easy-to-follow templates for...

By Maker Media, Inc
mpn: colour illustrations, ean: 9781457187858, isbn: 145718785X,
What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gat...

By Morgan Kaufmann
ean: 9780128007273, isbn: 0128007273,
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a de...

By O'Reilly Media
mpn: 43426663, ean: 9781491928325, isbn: 1491928328,
Augmented Reality (AR) blurs the boundary between the physical and digital worlds. In AR’s current exploration phase, innovators are beginning to create compelling and contextually rich applications that enhance a user’s everyday experiences. In ...

By CreateSpace Independent Publishing Platform
ean: 9781523364022, isbn: 1523364025,
SystemVerilog is a Hardware Description Language that enables designers to work at the higher levels of logic design abstractions that match the increased complexity of current day integrated circuit and field-programmable gate array (FPGA) designs. ...

By Independently published
ean: 9781980926290, isbn: 1980926298,
This textbook is for a university freshman/sophomore course on digital logic and digital systems design. In addition, the SystemVerilog language is interwoven throughout the text, providing both new learners as well as existing digital logic designer...

By imusti
ean: 9780128000564, isbn: 0128000562,
Digital Design and Computer Architecture: ARM Edition covers the fundamentals of digital logic design and reinforces logic concepts through the design of an ARM microprocessor. Combining an engaging and humorous writing style with an updated and hand...

By McGraw Hill
ean: 9780074622353, isbn: 0074622358,
***** International Edition ***** ***** International Edition ***** ***** International Edition *****...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.