Description du livre 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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 64,19

Autre devise

Ajouter au panier

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image d'archives

Computational Logic and Proof Theory

. Ed(s): Gottlob, G.; Leitsch, Alexander; Mundici, Daniele

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)

ISBN 10 : 3540571841 ISBN 13 : 9783540571841

Neuf Couverture souple Quantit� disponible : 15

Vendeur :

Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Irlande)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Etat : New. The proceedings of a biennial symposium on logic, theoretical computer science and the philosophy of mathematics are recorded in this volume. Emphasis is placed on proof theory, which although traditionally a discipline of mathematical logic, is also a central activity in computer science. Editor(s): Gottlob, G.; Leitsch, Alexander; Mundici, Daniele. Series: Lecture Notes in Computer Science. Num Pages: 365 pages, biography. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 19. Weight in Grams: 1160. . 1993. Paperback. . . . . N� de r�f. du vendeur V9783540571841

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 78,48

Autre devise

Ajouter au panier

Frais de port : EUR 10,50

De Irlande vers Etats-Unis

Destinations, frais et d�lais

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 Quantit� disponible : 1

Vendeur :

AHA-BUCH GmbH
(Einbeck, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre 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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 59,51

Autre devise

Ajouter au panier

Frais de port : EUR 32,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

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 Quantit� disponible : > 20

impression � la demande

Vendeur :

moluna
(Greven, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre 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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Ajouter au panier

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

There are autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre

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

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

Acheter neuf

Meilleurs r�sultats de recherche sur AbeBooks

There are autres exemplaires de ce livre sont disponibles