LIBRISTO
LIBROAMANTO
mandatory
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
DPD courier 4.99 GLS courier 9.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 147 b
60.57
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.66
Computability Theory Herbert Enderton / Book Hardback
common.buy 65.12
First Course in Logic Shawn Hedman / Book Paperback
common.buy 142.49
Mathematical Logic Heinz-Dieter Ebbinghaus / Book Paperback
common.buy 50.56
Mathematical Analysis of Logic George Boole / Book Paperback
common.buy 29.52
Logics for Computer Science Anita Wasilewska / Book Hardback
common.buy 130.86
Mathematical Logic Heinz-Dieter Ebbinghaus / Book Hardback
common.buy 70.58
Mama Dip's Family Cookbook Mildred Council / Book Hardback
common.buy 27.50
Toilet-bound Hanako-kun, Vol. 14 AidaIro / Book Paperback
common.buy 10.61
Zoomigurumi 8 Joke Vermeiren / Book Paperback
common.buy 15.36
Ace CHEN ANGELA / Book Paperback
common.buy 12.63
Embracing Modern C++ Safely Vittorio Romeo / Book Paperback
common.buy 74.22
Boys Run the Riot 2 Gaku / Book Paperback
common.buy 10.61
World Press Photo 2021 World Press Photo Foundation / Book Hardback
common.buy 35.49
Lore and Lust Karla Nikole / Book Paperback
common.buy 16.58
Activity Book for Kids 6-8 Blue Wave Press / Book Paperback
common.buy 12.73
Illustrated Textbook of Paediatrics Lissauer/Carroll / Book Paperback
common.buy 51.27
Woodland Magic Painting Book Federica Iossa / Book Paperback
common.buy 7.68
Twisted Twisted / Book Hardback
common.buy 21.23

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
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
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

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?