Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Bestandsnummer des Verk�ufers 484869

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Computational Logic and Proof Theory: Third ...

Verlag: Springer-Verlag, Berlin, Heidelberg, New York

Erscheinungsdatum: 1993

Einband: Paperback

Zustand: Very Good

Art des Buches: Used

�ber diesen Titel

Rese�a del editor:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

To pay by PayPal, just paste this link into your browser: paypal.me/PsychoBabelSkoob PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube)are run and owned by Chris Edwards operating as a sole trader. We have bought all our books and take great care with the storage and listing of each one. As well as over 107,000 listings we have nearly 100,000 in our London shop and probably five times as many awaiting attention in the warehouse. We have been selling with a five-star rating continuously sine 2003 on AbeBooks. PsychoBabel and Skoob buy from private individuals and prestigious libraries. We are NOT 'barcoders' but dedicated book lovers, offering an excellent service. We enjoy receiving phone calls and we handle each order individually. We dispatch our orders daily and accommodate customers all over the world. Our wonderful packaging is not charged for. Please email or call with any queries or requests for photos.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

PsychoBabel & Skoob Books
United Kingdom

Gesch�ftsbedingungen:

To pay by PayPal, just paste this link into your browser: paypal.me/PsychoBabelSkoob

PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube) are solely owned by Chris Edwards, 1 Churchward, Didcot, Oxfordshire. OX11 7HB. Prompt dispatch on clearance of payment. If any doubt about condition of book in addition to that described please e-mail or call. PsychoBabel & Skoob Books 1 Churchward, Didcot, Oxfordshire. OX11 7HB Telephone 01235 861411 www.psychobabel.co.uk VAT Regi...

Mehr Information

Versandinformationen:

We post every weekday! All shipping quotes are based on fast efficient service with the best possible packaging.
Standard charge is based on average weight of books - about 0.9Kg. Heavy items (over 1.5Kg) may require extra postage depending on destination. We'll e-mail you if necessary.

Zahlungsarten
akzeptiert von diesem Verk�ufer

PayPal Bankwechsel Bank�berweisung

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Computational Logic and Proof Theory: Third Kurt Godel...

Computational Logic and Proof Theory: Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993: Proceedings

Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele (eds.)

Gebraucht - Softcover

Unternehmensdaten des Verk�ufers