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
DPD courier 4.99 € GLS courier 9.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 125 b
51.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Paracuellos CARLOS GIMENEZ / Book Hardback
common.buy 33.38 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Book Paperback
common.buy 25.21 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Book Hardback
common.buy 26.42 €
Lighting Martinez Alonso / Book Hardback
common.buy 11.69 €
30 SECONDEN INSTRUMENTS EN DO -PARTITION+PARTIES SEPAREES T. RIAD Book binding.
common.buy 23.39 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Book Paperback
common.buy 65.75 €
Geschichte Der Hexenprozesse in Bayern Sigmund Riezler / Book Paperback
common.buy 32.87 €
Rakkauden oppi Jorma Etto / E-book Adobe ePub DRM
common.buy 9.37 €
Las tres puertas Raquel Ortega / Book Paperback
common.buy 34.79 €
La régression PLS - théorie et pratique Tenenhaus / Book Paperback
common.buy 53.35 €
Theatre Complet Emile Augier / Book Paperback
common.buy 27.73 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 9.37 €
Reset Eypio / Audio Audio CD
common.buy 11.19 €
Jazz Club Klavier Andy Mayerl / Printed items Sheet music
common.buy 20.06 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Game/Toy Toy
common.buy 10.78 €
Chronicle Volume Two Creedence Clearwater Revival Audio Audio CD
common.buy 8.06 €
Liebesgeschichten neu erzählen Pat Hudson / Book Paperback
common.buy 21.78 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Book Paperback
common.buy 19.15 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Book Paperback
common.buy 14.01 €
Noragami. Bd.11 Adachitoka / Book Paperback
common.buy 8.97 €

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 51.53 €
Mirror Mirror Eric J. Burton / Book Paperback
common.buy 6.34 €
Crystal Growth Technology T. Ohachi / Book Hardback
common.buy 307.33 €
Peer-to-Peer Systems II M. Frans Kaashoek / Book Paperback
common.buy 51.53 €
Pay: God Light Marcia Batiste / Book Paperback
common.buy 6.14 €
Top
The Laws of Human Nature Robert Greene / Book Paperback
common.buy 18.75 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Book Hardback
common.buy 222.40 €
Phase Transformation and Properties Xun Cai / Book Paperback
common.buy 72.11 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Book Paperback
common.buy 15.52 €
Collection of Antique Asian Puppetry Rick Jordan / Book Paperback
common.buy 86.53 €
Confessions: Memoirs of a Modern Seer Cheiro / Book Paperback
common.buy 38.12 €
Time Of The Aces: Marine Pilots in the Solomons, 1942-1944 Peter B Mersky Usnr / Book Paperback
common.buy 10.28 €
Official Guide to PTE Academic Barraclough / Book Hardback
common.buy 61.01 €
Imagining India as a Global Power Sangit K. Ragi / Book Hardback
common.buy 234.30 €
Revolutionary Yiddishland Alain Brossat / Book Paperback
common.buy 15.73 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Book Hardback
common.buy 174.39 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Book Paperback
common.buy 17.44 €
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 39.13 €
Auto-Biography of Goethe Johann Wolfgang Von Goethe / Book Hardback
common.buy 37.31 €
Stress Management Monique Joiner Siedlak / Book Paperback
common.buy 10.28 €
Rose and Witch and Other Stories Mimei Ogawa / Book Paperback
common.buy 21.17 €
Japan's Aging Peace Tom Phuong Le / Book Paperback
common.buy 46.69 €
Research Methods for the Architectural Profession Aksamija / Book Paperback
common.buy 43.46 €
Red Mars Kim Stanley Robinson / Book Paperback
common.buy 15.12 €

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?