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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Language EnglishEnglish
Book Paperback
Book Computational Logic and Proof Theory Georg Gottlob
Libristo code: 05274735
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Full description
? points 136 b
19 818 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kreda biała Giotto Robercolor 100 sztuk / Stationery items Stationery items
common.buy 2 145 Ft
Inmenso estrecho : cuentos sobre inmigración / Book Paperback
common.buy 6 830 Ft
Fortaellinger fra stovlelandet Lars Hee / Book Paperback
common.buy 2 729 Ft
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Book Paperback
common.buy 15 132 Ft
Una mujer endemoniada Jim Thompson / E-book Adobe ePub DRM
common.buy 3 898 Ft
F&E Controling in Theorie und Praxis Christian Kunert / Book Paperback
common.buy 6 609 Ft
Pathohistologie Der Zahne Hermann Euler / Book Paperback
common.buy 20 361 Ft
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Book Paperback
common.buy 5 868 Ft
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Book Hardback
common.buy 4 746 Ft
Talibin fighter Abu Al -Faraj Al -Isfahani / E-book Adobe ePub DRM
common.buy 7 005 Ft
Top
Nepodľahnite vojvodovi Anna Bradley / Book Hardback
common.buy 5 109 Ft
Tier-Ornamentik im Norden Sophos Müller / Book Paperback
common.buy 12 403 Ft
Radiant 1. Tony Valente / Book Paperback
common.buy 2 839 Ft
Principe de l'utilité et l'utilitarisme John Stuart Mill / Book Paperback
common.buy 5 150 Ft
Kadin Osho (Bhagman Shree Rajneesh) / Book Paperback
common.buy 7 704 Ft
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Book Paperback
common.buy 9 573 Ft
Las Formas de los Viajar Tweedy / Book Paperback
common.buy 4 276 Ft
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Book Paperback
common.buy 17 194 Ft
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio CD
common.buy 17 908 Ft
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Book Paperback
common.buy 13 775 Ft
Brother for Rent 04 Monika Hammond / Book Paperback
common.buy 2 540 Ft
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Book Paperback
common.buy 17 309 Ft
Furchtlos Andreas Adlon / Book Paperback
common.buy 4 303 Ft

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.

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 Computational Logic and Proof Theory
Author Georg Gottlob, Alexander Leitsch, Daniele Mundici
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 355
EAN 9783540633853
ISBN 3540633855
Libristo code 05274735
Publishers Springer, Berlin
Weight 473
Dimensions 156 x 234 x 19

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
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

You might also be interested in

High Performance Computational Science and Engineering Michael K. Ng / Book Paperback
common.buy 39 520 Ft
Why Brains Don't Compute Dale Purves / Book Paperback
common.buy 30 996 Ft
Top
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Book Hardback
common.buy 6 130 Ft
Social Demography of South Africa Clifford O. Odimegwu / Book Paperback
common.buy 24 125 Ft
Introductory Computer Forensics Xiaodong Lin / Book Hardback
common.buy 46 456 Ft
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Book Paperback
common.buy 17 194 Ft
Embracing Your Inner Cheerleader Joan Ellen Gage / Book Paperback
common.buy 5 647 Ft
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Book Paperback
common.buy 2 757 Ft
Godbuster: Banishes all known gods Elliot George / Book Paperback
common.buy 6 231 Ft
Blaise de Monluc A. W. Evans / Book Paperback
common.buy 7 226 Ft
Business Finance Eddie McLaney / Book Paperback
common.buy 31 116 Ft
Global Communication and Collaboration Klaus-Dieter Gronwald / Book Hardback
common.buy 21 350 Ft
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Book Paperback
common.buy 5 210 Ft
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Book Paperback
common.buy 6 609 Ft
Pocahontas Erin Edison / Book Hardback
common.buy 3 300 Ft
Coming soon New
Ethics, Law and Health Care Shih-Ning Then / Book Paperback
common.buy 27 190 Ft
Top
Beware the Villainess!, Vol. 4 V04 / Book Paperback
common.buy 6 144 Ft
Top
The TKT Course Young Learners Module Kate Gregson / Book Paperback
common.buy 9 794 Ft
The Recipe: Living Life with Ease Ramdas Ormond / Book Paperback
common.buy 5 270 Ft
Classic Horror Stories David Stuart Davies / Book Hardback
common.buy 4 114 Ft
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Book Paperback
common.buy 3 065 Ft
Modern Art J.-.K. Huysmans / E-book Adobe ePub DRM
common.buy 4 961 Ft
Animal Places Jacob Bull / E-book Adobe ePub DRM
common.buy 22 344 Ft
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Book Hardback
common.buy 11 326 Ft

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?