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 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
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.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Paracuellos CARLOS GIMENEZ / Book Hardback
common.buy 32.99 €
Dinosauři Vystřihovánka pro začátečníky / Stationery items Stationery items
common.buy 5.19 €
Affordable
Дюна: Бог-Император Дюны. Еретики Дюны. Капитул Дюны Франк Герберт / Book Hardback
common.buy 19.79 €
Jeremiah - Tome 39 - Rancune Hermann / Book Hardback
common.buy 15.49 €
Lighting Martinez Alonso / Book Hardback
common.buy 11.09 €
Mučedníci a oběti pro Krista - Martyrologium katolické církve v českých zemích ve 20. století Jan Stříbrný / Book Hardback
common.buy 50.89 €
Das Gilgamesch-Epos Sabina Franke / Book Paperback
common.buy 6.99 €
mondo del Medio Evo e noi. Un saggio di filosofia della storia sul senso di un'epoca Paul Ludwig Landsberg / Book Paperback
common.buy 19.99 €
Развеянные чары Ло Гуань-Чжун / Book Hardback
common.buy 25.49 €
Las tres puertas Raquel Ortega / Book Paperback
common.buy 33.89 €
Ödeve Yardimci Kolektif / Book Paperback
common.buy 9.09 €
Erwachen Nikolaus Gutenberger / Book Paperback
common.buy 14.91 €
Colour Land Bilingual Learning / Book Sheet
common.buy 9.59 €
Horror Collection, 3 Blu-rays. Vol.2 Various / Video DVD
common.buy 11.59 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Book Paperback
common.buy 12.19 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Book Paperback
common.buy 18.10 €
Chronicle Volume Two Creedence Clearwater Revival Audio Audio CD
common.buy 8.09 €
Top
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Game/Toy Toy
common.buy 9.95 €
30 SECONDEN INSTRUMENTS EN DO -PARTITION+PARTIES SEPAREES T. RIAD Book binding.
common.buy 19.99 €
Jazz Club Klavier Andy Mayerl / Printed items Sheet music
common.buy 23.80 €
Tajomstvo kvantového života Frank J. Kinslow / Book Paperback
common.buy 12.09 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 7.99 €
Souvenirs Entomologiques; Études Sur l'Instinct Et Les Moeurs Des Insectes Jean-Henri Fabre / Book Paperback
common.buy 25.40 €
Coming soon
Kriegsenkel: Endlich ankommen! Ingrid Meyer-Legrand / Book Hardback
common.buy 19.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 51.09 €
Mirror Mirror Eric J. Burton / Book Paperback
common.buy 5.99 €
Crystal Growth Technology T. Ohachi / Book Hardback
common.buy 295.69 €
Peer-to-Peer Systems II M. Frans Kaashoek / Book Paperback
common.buy 51.09 €
Pay: God Light Marcia Batiste / Book Paperback
common.buy 5.79 €
Collection of Antique Asian Puppetry Rick Jordan / Book Paperback
common.buy 79.79 €
Crisis of the Holy Alon Goshen-Gottstein / Book Paperback
common.buy 18.09 €
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 36.89 €
Top
The Laws of Human Nature Robert Greene / Book Paperback
common.buy 18.79 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Book Hardback
common.buy 236.99 €
Phase Transformation and Properties Xun Cai / Book Paperback
common.buy 67.09 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Book Paperback
common.buy 11.19 €
Mr. Messy HARGREAVES / Book Paperback
common.buy 5.49 €
Design of Smart Power Grid Renewable Energy Systems, Third Edition Ali Keyhani / Book Hardback
common.buy 165.19 €
Confessions: Memoirs of a Modern Seer Cheiro / Book Paperback
common.buy 36.00 €
Time Of The Aces: Marine Pilots in the Solomons, 1942-1944 Peter B Mersky Usnr / Book Paperback
common.buy 9.59 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Book Paperback
common.buy 16.50 €
Imagining India as a Global Power Sangit K. Ragi / Book Hardback
common.buy 246.69 €
Affordable
Revolutionary Yiddishland Alain Brossat / Book Paperback
common.buy 9.99 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Book Hardback
common.buy 172.89 €
Faith Adventures Volume One Norman Sergent / Book Hardback
common.buy 32.89 €
Research Methods for the Architectural Profession Aksamija / Book Paperback
common.buy 45.79 €
Risk Management in Outer Space Activities Maria A. Pozza / Book Paperback
common.buy 144.49 €
Lesson In Seduction (Mills & Boon Vintage 90s Modern) Susan Napier / E-book Adobe ePub DRM
common.buy 1.89 €

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?