Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Mathematical Logic for Computer Science

Language EnglishEnglish
Book Paperback
Book Mathematical Logic for Computer Science Mordechai Ben-Ari
Libristo code: 01241719
Publishers Springer London Ltd, June 2012
This book approaches mathematics based on the needs of computer science students, teaching logic by...
? points 155 b
63.74 €
124.66  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

You might also be interested in

Basic Proof Theory Anne S. Troelstra / Book Paperback
common.buy 68.53 € 134.04 лв
Computability Theory Herbert Enderton / Book Hardback
common.buy 68.74 € 134.44 лв
Mathematical Logic and Theoretical Computer Science D. W. Kueker / Book Paperback
common.buy 430.93 € 842.83 лв
First Course in Logic Shawn Hedman / Book Paperback
common.buy 142.08 € 277.88 лв
Mathematical Logic Heinz-Dieter Ebbinghaus / Book Paperback
common.buy 53.17 € 103.98 лв
Schaum's Outline of Boolean Algebra and Switching Circuits Elliott Mendelson / Book Paperback
common.buy 25.88 € 50.63 лв
Mathematical Analysis of Logic George Boole / Book Paperback
common.buy 29.44 € 57.58 лв
Logics for Computer Science Anita Wasilewska / Book Hardback
common.buy 137.74 € 269.40 лв
Affordable
Oxford Handbook of Philosophy of Mathematics and Logic Stewart Shapiro / Book Paperback
common.buy 51.82 € 101.36 лв
Mathematical Logic Heinz-Dieter Ebbinghaus / Book Hardback
common.buy 74.31 € 145.34 лв
Mama Dip's Family Cookbook Mildred Council / Book Hardback
common.buy 27.43 € 53.65 лв
Top
Avatar: The Last Airbender - The Art Of The Animated Series (second Edition) Bryan Konietzko / Book Hardback
common.buy 30.42 € 59.50 лв
Toilet-bound Hanako-kun, Vol. 14 AidaIro / Book Paperback
common.buy 10.62 € 20.77 лв
Zoomigurumi 8 Joke Vermeiren / Book Paperback
common.buy 16.29 € 31.86 лв
Ace CHEN ANGELA / Book Paperback
common.buy 13.51 € 26.42 лв
Embracing Modern C++ Safely Vittorio Romeo / Book Paperback
common.buy 78.18 € 152.90 лв
Boys Run the Riot 2 Gaku / Book Paperback
common.buy 10.62 € 20.77 лв
World Press Photo 2021 World Press Photo Foundation / Book Hardback
common.buy 36.87 € 72.11 лв
Lore and Lust Karla Nikole / Book Paperback
common.buy 16.50 € 32.27 лв
Activity Book for Kids 6-8 Blue Wave Press / Book Paperback
common.buy 12.73 € 24.90 лв
Illustrated Textbook of Paediatrics Lissauer/Carroll / Book Paperback
common.buy 53.84 € 105.29 лв
Woodland Magic Painting Book Federica Iossa / Book Paperback
common.buy 8.14 € 15.93 лв
Guide to Woodworking with Kids: 15 Craft Projects to Develop the Lifelong Skills of Young Makers Doug Stowe / Book Paperback
common.buy 21.55 € 42.15 лв
Twisted Twisted / Book Hardback
common.buy 22.58 € 44.17 лв

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Mathematical Logic for Computer Science
Author Mordechai Ben-Ari
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 346
EAN 9781447141280
ISBN 1447141288
Libristo code 01241719
Publishers Springer London Ltd
Weight 544
Dimensions 153 x 231 x 19

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?