x

Our Privacy Policy has changed. By using this site, you agree to the Privacy Policy.

Language, Proof and Logic

ISBN-10: 1575866323
ISBN-13: 9781575866321
Edition: 2nd 2011
List price: $52.50 Buy it from $24.14 Rent it from $30.23
This item qualifies for FREE shipping

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: This pack includes software that facilitates the teaching and learning of first-order logic. The authors present some 500 pages filled with hundreds of examples and more than 1,000 exercises relating to logic.

Used Starting from $29.56
New Starting from $76.80
Rent Starting from $30.23
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Calculus 1 Online content $4.95 $1.99
Add to cart
Study Briefs
Business Ethics Online content $4.95 $1.99
Add to cart
Study Briefs
Business Law Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $52.50
Edition: 2nd
Copyright year: 2011
Publisher: University of Chicago Press
Publication date: 10/7/2011
Binding: Paperback
Pages: 650
Size: 8.00" wide x 9.50" long x 1.75" tall
Weight: 2.706
Language: English

This pack includes software that facilitates the teaching and learning of first-order logic. The authors present some 500 pages filled with hundreds of examples and more than 1,000 exercises relating to logic.

Acknowledgements
Introduction
Propositional Logic
Atomic Sentences
The Logic of Atomic Sentences
The Boolean Connectives
The Logic of Boolean Connectives
Methods of Proof for Boolean Logic
Formal Proofs and Boolean Logic
Conditionals
The Logic of Conditionals
Quantifiers
Introduction to Quantification
The Logic of Quantifiers
Multiple Quantifiers
Methods for Proof of Quantifiers
Formal Proofs and Quantifiers
More about Quantification
Applications and Metatheory
First-order Set Theory
Mathematical Induction
Advanced Topics in Propositional Logic
Advanced Topics in FOL
Completeness and Incompleteness
Summary of Formal Proof Rules
Glossary
File Index
Exercise Index
General Index

×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×