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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Computational Logic and Proof Theory

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Language EnglishEnglish
Book Paperback
Book Computational Logic and Proof Theory Georg Gottlob
Libristo code: 05274334
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Paracuellos CARLOS GIMENEZ / Book Hardback
common.buy 59.09 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Book Hardback
common.buy 27.29 €
Las tres puertas Raquel Ortega / Book Paperback
common.buy 35.89 €
La régression PLS - théorie et pratique Tenenhaus / Book Paperback
common.buy 55.99 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Book Paperback
common.buy 25.99 €
Rakkauden oppi Jorma Etto / E-book Adobe ePub DRM
common.buy 9.69 €
Theatre Complet Emile Augier / Book Paperback
common.buy 28.79 €
Lighting Martinez Alonso / Book Hardback
common.buy 12.29 €
Reset Eypio / Audio Audio CD
common.buy 11.59 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Game/Toy Toy
common.buy 11.29 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Book Paperback
common.buy 19.99 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Book Paperback
common.buy 14.59 €
Noragami. Bd.11 Adachitoka / Book Paperback
common.buy 9.29 €
Liebesgeschichten neu erzählen Pat Hudson / Book Paperback
common.buy 22.59 €
Jazz Club Klavier Andy Mayerl / Printed items Sheet music
common.buy 23.80 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 9.79 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Book Paperback
common.buy 74.00 €

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a series of biennial§symposia on logic, theoretical computer science, and§philosophy of mathematics. The aim of this meeting wasto§bring together researchers working in the fields of§computational logic and proof theory. While proof theory§traditionally is a discipline of mathematical logic, the§central activity in computational logic can be foundin§computer science. In both disciplines methods were invented§which arecrucial to one another. This volume contains the§proceedings of the symposium. It contains contributions by§36 authors from 10 different countries. In addition to 10§invited papers there are 26 contributed papers selected from§over 50 submissions.

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 1993
Number of pages 354
EAN 9783540571841
ISBN 3540571841
Libristo code 05274334
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1160
Dimensions 216 x 279 x 20

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Philosophy of mathematics
Mathematics & Science > Science: general issues > Philosophy of science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
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

Demography Through Problems Nathan Keyfitz / Book Hardback
common.buy 53.79 €
Mirror Mirror Eric J. Burton / Book Paperback
common.buy 6.59 €
Crystal Growth Technology T. Ohachi / Book Hardback
common.buy 318.39 €
Peer-to-Peer Systems II M. Frans Kaashoek / Book Paperback
common.buy 53.79 €
Pay: God Light Marcia Batiste / Book Paperback
common.buy 6.49 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Book Paperback
common.buy 16.09 €
Collection of Antique Asian Puppetry Rick Jordan / Book Paperback
common.buy 89.79 €
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Book Paperback
common.buy 16.49 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Book Paperback
common.buy 18.19 €
Two Cures for Love Wendy Cope / E-book Adobe ePub DRM
common.buy 9.19 €
Imagining India as a Global Power Sangit K. Ragi / Book Hardback
common.buy 242.59 €
Revolutionary Yiddishland Alain Brossat / Book Paperback
common.buy 16.49 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Book Hardback
common.buy 182.19 €
Research Methods for the Architectural Profession Aksamija / Book Paperback
common.buy 45.29 €
Phase Transformation and Properties Xun Cai / Book Paperback
common.buy 75.99 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Book Hardback
common.buy 231.49 €
Top
The Laws of Human Nature Robert Greene / Book Paperback
common.buy 19.99 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Book Hardback
common.buy 40.69 €
Psychology of Great Teaching Casper Hulshof / Book Paperback
common.buy 41.29 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Book Paperback
common.buy 10.69 €
Red Mars Kim Stanley Robinson / Book Paperback
common.buy 15.69 €
Stress Management Monique Joiner Siedlak / Book Paperback
common.buy 10.69 €
Rose and Witch and Other Stories Mimei Ogawa / Book Paperback
common.buy 21.99 €
Japan's Aging Peace Tom Phuong Le / Book Paperback
common.buy 48.19 €

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?