
Pre-Owned Mathematical Logic for Computer Science
Key item features
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreEducation
- Pub date2012-06-17
- Pages346
- SubgenreComputers
- Free shipping
Free 30-day returns
How do you want your item?
About this item
Product details
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.
The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.
The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
What is Pre-Owned: Like New?
What is the Walmart Pre-Owned Program?
Walmart Pre-Owned allows you to find previously owned, well-cared-for items from Walmart’s trusted & performance-managed sellers. Shopping Pre-Owned allows you to bring home the best-quality picks at even lower prices, in addition to extending the life of an item & reducing waste. Find your favorites & shop a range of conditions in every category.
Why Walmart Pre-Owned?
Trusted sellers & quality items
Each Pre-Owned item listed comes from Walmart’s trusted performance-managed sellers, to ensure you get quality items.

Quality you can afford
Save even more on top brands & your most-loved items.

30-day free returns
Don’t love it? Most items offer a 30-day* free return policy, for added peace of mind.
Sustainability
Shopping Pre-Owned helps in extending the life of an item & reducing waste.
Product image for illustration purposes only. The item you receive may vary from the image in minor ways, such as slight differences in appearance, color, and/or design. *Exceptions apply during holiday season, and on certain electronics, collectibles, and jewelry.
Specifications
Book format
Fiction/nonfiction
Genre
Pub date
Warranty
Warranty information
Popular items in this category
Best selling items that customers love
History, Philosophy and Theory of the Li Zionism and the Biology of Jews, Book 19, (Paperback) $98.60
$9860current price $98.60History, Philosophy and Theory of the Li Zionism and the Biology of Jews, Book 19, (Paperback)
Save withShipping, arrives in 2 daysPre-Owned Using & Understanding Mathematics: A Quantitative Reasoning Approach (Hardcover) 0134705181 9780134705187 $25.49
3 optionsAvailable in additional 3 options$2549current price $25.49More options from $18.76Pre-Owned Using & Understanding Mathematics: A Quantitative Reasoning Approach (Hardcover) 0134705181 9780134705187
Shipping, arrives in 3+ daysPre-Owned: GoodTextbooks in Mathematics Applied Mathematics for Scientists and Engineers, (Paperback) $77.59
$7759current price $77.59Textbooks in Mathematics Applied Mathematics for Scientists and Engineers, (Paperback)
Save withShipping, arrives in 2 daysGroup Theory and Physics, (Paperback) $98.64
$9864current price $98.64Group Theory and Physics, (Paperback)
Save withShipping, arrives in 2 daysThe Logic of Infinity, (Paperback) $63.38
$6338current price $63.38The Logic of Infinity, (Paperback)
Save withShipping, arrives in 2 daysIntroduction to Computational Biology: An Evolutionary Approach (Other) $54.99
$5499current price $54.99Introduction to Computational Biology: An Evolutionary Approach (Other)
Save withShipping, arrives in 2 daysConceptions of Set and the Foundations of Mathematics, (Hardcover) $52.62 Was $60.00
Now$5262current price Now $52.62, Was $60.00$60.00You save $7.38You save$7.38Conceptions of Set and the Foundations of Mathematics, (Hardcover)
Save withShipping, arrives in 2 daysWiley Microwave and Optical Engineering Arithmetic and Logic in Computer Systems, (Hardcover) $116.10
$11610current price $116.10Wiley Microwave and Optical Engineering Arithmetic and Logic in Computer Systems, (Hardcover)
Shipping, arrives in 3+ daysData-Driven Modeling & Scientific Computation: Methods for Complex Systems & Big Data, (Paperback) $43.15
$4315current price $43.15Data-Driven Modeling & Scientific Computation: Methods for Complex Systems & Big Data, (Paperback)
Save withShipping, arrives in 2 daysCMS Books in Mathematics Generalized Inverses: Theory and Applications, Book 15, (Hardcover) $90.06
$9006current price $90.06CMS Books in Mathematics Generalized Inverses: Theory and Applications, Book 15, (Hardcover)
Save withShipping, arrives in 2 daysDover Books on Mathematics Toposes and Local Set Theories: An Introduction, (Paperback) $10.95 Was $13.56
Now$1095current price Now $10.95, Was $13.56$13.56You save $2.61You save$2.61Dover Books on Mathematics Toposes and Local Set Theories: An Introduction, (Paperback)
Save withShipping, arrives tomorrowApplied Mathematical Sciences Computational Homology, Book 157, (Paperback) $107.82
$10782current price $107.82Applied Mathematical Sciences Computational Homology, Book 157, (Paperback)
Save withShipping, arrives in 2 daysDiscrete Mathematics for Computer Science: An Example-Based Introduction, (Hardcover) $201.18
$20118current price $201.18Discrete Mathematics for Computer Science: An Example-Based Introduction, (Hardcover)
Save withShipping, arrives in 2 daysAlgebra & Geometry: An Introduction to University Mathematics, (Hardcover) $220.50
$22050current price $220.50Algebra & Geometry: An Introduction to University Mathematics, (Hardcover)
Save withShipping, arrives in 2 daysHandbook of Philosophical Logic: Handbook of Philosophical Logic (Hardcover) $137.09
$13709current price $137.09Handbook of Philosophical Logic: Handbook of Philosophical Logic (Hardcover)
Save withShipping, arrives in 2 daysStudies in Logic and the Foundations of Computable Structures and the Hyperarithmetical Hierarchy: Volume 144, Book 144, (Hardcover) $147.00
$14700current price $147.00Studies in Logic and the Foundations of Computable Structures and the Hyperarithmetical Hierarchy: Volume 144, Book 144, (Hardcover)
Save withShipping, arrives tomorrowLecture Notes in Mathematics Arithmetical Investigations: Representation Theory, Orthogonal Polynomials, and Quantum Interpolations, Book 1941, (Paperback) $49.95
$4995current price $49.95Lecture Notes in Mathematics Arithmetical Investigations: Representation Theory, Orthogonal Polynomials, and Quantum Interpolations, Book 1941, (Paperback)
Save withShipping, arrives in 2 daysPetit traité de calcul mental, à l'usage des maîtres (Paperback) $15.95
$1595current price $15.95Petit traité de calcul mental, à l'usage des maîtres (Paperback)
Save withShipping, arrives in 2 daysPre-Owned Introduction to Logic (Student) (Paperback) 1683441486 9781683441489 $22.64
2 optionsAvailable in additional 2 options$2264current price $22.64More options from $20.01Pre-Owned Introduction to Logic (Student) (Paperback) 1683441486 9781683441489
Shipping, arrives in 3+ daysPre-Owned: Like New
