Logic for Computer Science

ISBN 13: 9780486780825

FREE Shipping on 3 books or more! - for all UK orders - find out more

£27.49

Notify me when this item is available

Availability

Usually ships in 21 days

Author Jean Gallier
Format Paperback
No. of Pages 544
Brand: Dover Publications

Information
Customer Reviews (0)
Delivery

Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition.

Be the first to Write a Review for this item!

UK Delivery

Order 3 or more books to enjoy FREE UK delivery!

Method	Cost for Single Book	Additional Book
UK Standard	£2.95	£0.55 * Order 3 + books for FREE delivery
UK First Class	£3.90	£2.00

Overseas

Method	Cost for Delivery	Plus Cost per Book
Europe (Standard Air via Royal Mail)	£5.00	£5.00
Rest of World (Air Mail)	£8.00	£6.00

In Stock items are sent same day (Monday to Friday before 3 pm) or within one working day.

Find out more in our full delivery and returns information