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.

N� de ref. del art�culo 484869

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

Springer-Verlag, Berlin, Heidelberg, New York

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

3540571841

ISBN 13

9783540571841

Encuadernaci�n

Paperback

Estado

Very Good

Tipo de libro

Used

Cat�logos de vendedores

Computers & Technology (incl. AI)

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

PsychoBabel & Skoob Books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

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...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 4 a 15 d�as h�biles	De 4 a 7 d�as h�biles
Primer art�culo	EUR 7.44	EUR 34.36

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.