Code: 05274735

Computational Logic and Proof Theory

Name: Computational Logic and Proof Theory
Brand: Springer, Berlin
SKU: 05274735
Price: 51.38 EUR
Availability: InStock
Author: Georg Gottlob
ISBN: 9783540633853

by Georg Gottlob, Alexander Leitsch, Daniele Mundici

Language: English
Binding: Paperback
Number of pages: 355
Publisher: Springer, Berlin, 1997
More about this

51.38 €

RRP: 55.62 €

You save 4.24 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Beware the Villainess!, Vol. 4
15.08 € -25 %
Buy
Sherlock Bones and the Horror of the Haunted Castle
7.13 € -29 %
Buy
Call Down the Hawk (The Dreamer Trilogy, Book 1)
15.08 € -25 %
Buy
Princess Power Chapter Book #1
7.23 € -24 %
Buy
The TKT Course Young Learners Module
28.45 € -5 %
Buy
Nepodľahnite vojvodovi
15.78 € -9 %
Buy
Paul Gauguin's Intimate Journals
22.12 € -25 %
Buy
Oxford Bookworms Library: Level 4:: The Scarlet Letter
13.27 €
Buy
Degas at the Opera
45.55 € -21 %
Buy
Buteyko exercises
35.39 € -14 %
Buy
Ramen, Ramen!
13.27 € -27 %
Buy
Wellbeing Activity Book
14.27 € -17 %
Buy
Dragon Ball 40
7.23 €
Buy
Radiant 1.
7.73 € -5 %
Buy
Bestiary
14.27 € -9 %
Buy
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift
17.89 € -1 %
Buy
Kreda biała Giotto Robercolor 100 sztuk
5.72 €
Buy
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More
12.26 € -25 %
Buy
Blaise de Monluc
18.50 € -1 %
Buy
Classic Horror Stories
10.75 € -29 %
Buy
Plantagenet England
73.81 €
Buy
Ethics, Law and Health Care
73.81 €
Buy
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits
13.27 € -2 %
Buy
The Essential Tales of Chekhov
16.48 € -18 %
Buy
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection
102.38 € -7 %
Buy
F&E Controling in Theorie und Praxis
16.99 € -10 %
Buy
A Family Christmas (Deluxe Edition)
45.55 € -6 %
Buy
Perspektiven fur Corporate Citizenship in Deutschland mit Referenz zu Ansatzen in Grossbritannien
42.53 € -11 %
Buy
Business Finance
80.05 € -14 %
Buy
Chinese FolkLore Tales - Legends of China
30.16 € -9 %
Buy
Social Demography of South Africa
65.36 €
Buy
Aquatic Oligochaete Biology IX
153.47 € -7 %
Buy
High Performance Computational Science and Engineering
102.38 € -7 %
Buy
Inmenso estrecho : cuentos sobre inmigración
19.10 €
Buy
Napoleon Hill's Timeless Thoughts for Today
18.60 € -24 %
Buy
Salzburger Jahrbuch für Politik 2018
43.34 €
Buy
Residential Child Care Staff Selection
88.30 €
Buy
Visceral Pain
60.13 € -5 %
Buy
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL
50.38 €
Buy
Inside Jazz
16.48 € -18 %
Buy
Jung
47.66 €
Buy
Programming the Dynamic Analysis of Structures
315.80 €
Buy
Pseudomonas syringae and Related Pathogens
204.64 € -7 %
Buy
Introductory Computer Forensics
120.18 € -9 %
Buy
Las Formas de los Viajar
10.75 € -7 %
Buy
Nationalities Problem & Soviet Administration
54.20 €
Buy
Threat Of Impending Disaster
41.13 €
Buy
Insuficiencia Pancreatica Exocrina em Animais De Companhia
35.39 € -14 %
Buy
Think Starter Video DVD
33.08 € -8 %
Buy
Politics of Race
95.54 €
Buy
Brother for Rent 04
6.43 € -14 %
Buy
Dark Rose
28.05 €
Buy
Flavonoids
102.38 € -7 %
Buy
Avarice
14.98 €
Buy
Interactive Morphonology
60.23 €
Buy
Global Communication and Collaboration
55.21 € -9 %
Buy
Killed in the Open. a Novel.
22.62 € -25 %
Buy
Leadership Development in the Middle East
55.41 € -5 %
Buy
FunKey Mathematics Card Game: Top 10
9.04 €
Buy
Cultivating and Keeping Committed Special Education Teachers
37.91 € -9 %
Buy
Cambridge Checkpoints VCE Food and Technology Units 3 and 4 2013
43.64 €
Buy
Tchaikovsky's The Nutcracker (Clarinet)
20.31 €
Buy
Godbuster: Banishes all known gods
15.78 € -7 %
Buy
The Recipe: Living Life with Ease
12.96 € -24 %
Buy
Why Brains Don't Compute
80.15 € -9 %
Buy
History of the Seventh Regiment, National Guard, State of New York, During the War of the Rebellion
33.48 € -2 %
Buy
Teaching Shakespeare with Film and Television
55.21 €
Buy
THE BOOK OF JOB, FROM THE AUTHORISED VER
28.86 € -2 %
Buy
A Guide to Learn C++ and PHP Simultaneously
44.24 € -14 %
Buy
Everyone a Teacher
25.13 € -12 %
Buy
Birthday Candles & Cake Postcard (Pkg of 25)
5.72 € -18 %
Buy
Embracing Your Inner Cheerleader
14.37 € -6 %
Buy
Mysticism and Religion
15.78 € -25 %
Buy
Renewal in the Wilderness
12.96 € -25 %
Buy
Divinity Compromised
102.38 € -7 %
Buy
Public Servant's Guide to Government in Canada
26.94 €
Buy
Ambulatory Blood Pressure Monitoring
50.18 € -9 %
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

More about Computational Logic and Proof Theory

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

51.38 €

Full title: Computational Logic and Proof Theory
Subtitle: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings
Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici
Language: English
Binding: Paperback
Number of pages: 355
EAN: 9783540633853
ISBN: 3540633855
ID: 05274735
Publisher: Springer, Berlin
Weight: 473 g
Dimensions: 234 × 156 × 19 mm
Published: 1997