Paperback. Etat : Very Good. 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. Used. N� de r�f. du vendeur 484869

Contacter le vendeur

Acheter D'occasion

EUR 18,38

Autre devise

Frais de port : EUR 11,30

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Computational Logic and Proof Theory: Third Kurt G�??�?�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)

Gottlob, Georg [Editor]; Leitsch, Alexander [Editor]; Mundici, Daniele [Editor];

Edit� par Springer, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD1419759

Contacter le vendeur

Acheter D'occasion

EUR 24,03

Autre devise

Frais de port : EUR 7,16

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)

Mundici, Daniele; Leitsch, Alexander; Gottlob, Georg

Edit� par Springer, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020171004

Contacter le vendeur

Acheter neuf

EUR 54,94

Autre devise

Frais de port : EUR 3,57

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)

Mundici, Daniele; Leitsch, Alexander; Gottlob, Georg

Edit� par Springer, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540571841_new

Contacter le vendeur

Acheter neuf

EUR 62,25

Autre devise

Frais de port : EUR 14,25

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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

Georg Gottlob

Edit� par Springer Berlin Heidelberg, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions. N� de r�f. du vendeur 9783540571841

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 30,81

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

Gottlob, Georg

Edit� par Springer 1993-08, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540571841

Contacter le vendeur

Acheter neuf

EUR 67,72

Autre devise

Frais de port : EUR 18,42

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computational Logic and Proof Theory

Georg Gottlob

Edit� par Springer Berlin Heidelberg Aug 1993, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions. 372 pp. Englisch. N� de r�f. du vendeur 9783540571841

Contacter le vendeur

Acheter neuf

EUR 64,19

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computational Logic and Proof Theory

Gottlob, Georg|Leitsch, Alexander|Mundici, Daniele

Edit� par Springer Berlin Heidelberg, 1993

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The Third Kurt G|del Symposium, KGC 93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers wor. N� de r�f. du vendeur 4894215

Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Articles li�s � Computational Logic and Proof Theory: Third Kurt G��del...

Computational Logic and Proof Theory: Third Kurt G��del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Couverture souple

Mundici, Daniele; Leitsch, Alexander; Gottlob, Georg

Acheter D'occasion

Acheter neuf

R�sultats de recherche pour Computational Logic and Proof Theory: Third Kurt G��del...

Acheter D'occasion

Acheter D'occasion

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf