Code: 02569839

Logic for Computer Science

Name: Logic for Computer Science
Brand: Dover Publications Inc.
SKU: 02569839
Price: 23.76 EUR
Availability: BackOrder
Author: Jean Gallier
ISBN: 9780486780825

by Jean Gallier

Language: English
Binding: Paperback
Number of pages: 544
Publisher: Dover Publications Inc., 2015
More about this

23.76 €

RRP: 31.62 €

You save 7.86 €

Availability:

50/50

We think title might be available. Upon your order we will do our best to get it within 6 weeks.
We search the world

Availability alert

Add to wishlist

Life is Strange 1-3 Boxed Set
38.23 € -39 %
Buy
Wonder
8.18 € -27 %
Buy
Liberated Mind
14.86 € -24 %
Buy
Lord of the Rings box set
30.34 € -16 %
Buy
Court of Thorns and Roses Collector's Edition
28.52 € -27 %
Buy
The Angel Next Door Spoils Me Rotten, Vol. 7 (Light Novel)
11.32 € -25 %
Buy
4-Hour Work Week
18.91 € -16 %
Buy
FILL YOUR OIL PAINTINGS WITH LIGH
18.30 € -24 %
Buy
Jak mówić, żeby maluchy nas słuchały. Poradnik przetrwania dla rodziców dzieci w wieku 2-7 lat wyd. 2
8.49 € -14 %
Buy
Life in a Medieval Village
11.83 € -25 %
Buy
Balenciaga – Kublin
60.79 € -8 %
Buy
Fantasy Houses
15.67 € -25 %
Buy
Meine Bibel zur Erstkommunion
12.74 € -16 %
Buy
How to Teach Kids Anything
15.77 € -7 %
Buy
Powerful
6.67 € -34 %
Buy
Smrt v záři neonů
5.65 € -23 %
Buy
Maginot Line Gun Turrets
14.86 € -15 %
Buy
The Obstacle Is the Way 10th Anniversary Edition
21.74 € -24 %
Buy
Little Grey Men
9.70 € -25 %
Buy
What is Clinical Psychology?
75.25 €
Buy
Open Secret
13.95 € -1 %
Buy
Three Dark Crowns
8.59 € -30 %
Buy
Highlights Schweiz
25.89 € -14 %
Buy
You Are Positively Awesome
13.95 € -24 %
Buy
Digital Marketing
44.70 € -10 %
Buy
Hidden Freud
51.07 €
Buy
LA DICTEE EN MUSIQUE VOL.4 - CORRIGE
11.72 €
Buy
Experiential Learning
133.82 €
Buy
Bela Balazs' Early Film Theory
141.61 €
Buy
Suzuki Viola School, Viola
38.13 €
Buy
Iran-Contra
42.78 €
Buy
Advances in Oncology, 2026
175.40 € -9 %
Buy
Introduction to Lattices and Order
62.91 €
Buy
Pinup Alternative Magazine: Issue 1
14.96 € -6 %
Buy
Hanako-kun. I 7 misteri dell'Accademia Kamome
7.58 €
Buy
You Never Forget Your First
13.44 € -24 %
Buy
Lattices and Ordered Algebraic Structures
65.54 € -9 %
Buy
ANNUAL REPORT, VOLUME 37
31.85 € -2 %
Buy
Benny Blu - Müll
4.04 €
Buy
Vermoegensubertragungen nach dem Unternehmenssteuerfortentwicklungsgesetz
42.88 € -11 %
Buy
Tearing Down the Streets
38.83 € -25 %
Buy
Le lieutenant Déodat
24.17 €
Buy
Legendary Tales of the Wizards 3
20.32 €
Buy
Artful Maths Teacher Book
16.18 € -17 %
Buy
Normański rycerz 950-1204
8.99 € -15 %
Buy
Erklarung der Tier-Namen aus allen Sprachgebieten
20.52 € -11 %
Buy
Fuhrung und Selbstorganisation
33.98 € -11 %
Buy
Procesadores de textos y presentaciones de información básicos. UF0510 (MF0974_1) Certificado de Pro
39.34 €
Buy
Plasma Source Mass Spectrometry
133.82 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

You get 57 loyalty points

Book synopsis

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.