Free delivery for orders over 69.99 euro.

Check order status

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Computational Logic

Name: Computational Logic
Brand: Springer, Berlin
SKU: 01566688
Price: 154.55 EUR
Availability: InStock
Author: Ulrich Berger
ISBN: 9783540645894

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Ulrich Berger

Helmut Schwichtenberg

Language

English

Book Hardback

Libristo code: 01566688

Publishers Springer, Berlin, November 1998

Recent developments in computer science clearly show the need for a better theoretical foundation fo... Full description

Libristo code: 01566688

373 b

154.55 €

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Paperback

53.16 €

Vkládací kostka Mimi 1 plast

Toy

8.60 €

Tous les vélos de ma vie Powerpaola

Paperback

24.10 €

Padesátka v nouzovém stavu Hana Hřebejková

Hardback

6.47 €

Artystki i surrealizm Chadwick Whitney

Hardback

20.15 €

Aesop for Children (Simplified Chinese): 05 Hanyu Pinyin Paperback B&w Aesop

Paperback

30.98 €

Požehnání, ne prokletí Jane Bennettová

Paperback

8.19 €

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Paperback

18.73 €

Teplice plán města 1:12 000

Map

2.93 €

Nietzsche für Boshafte Friedrich Nietzsche

Paperback

9.00 €

Mann ist Mann Bertolt Brecht

Paperback

7.89 €

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Paperback

27.54 €

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Paperback

17.11 €

Globalisierung - Entgrenzung von Politik? Holger Schorb

Paperback

39.69 €

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Paperback

53.16 €

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.§Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computational Logic

Author Ulrich Berger, Helmut Schwichtenberg

Language

English

Binding Book - Hardback

Date of issue 1999

Number of pages 448

EAN 9783540645894

ISBN 3540645896

Libristo code 01566688

Publishers Springer, Berlin

Weight 795

Dimensions 156 x 234 x 25

You might also be interested in

Algebroid Curves in Positive Characteristics A. Campillo

Paperback

26.02 €

Teacher's Manual, Volume 2 Wilhelm Vietor

Hardback

30.78 €

Photographer's Guide To The Digital Portrait Al Audleman

Paperback

27.13 €

Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6 Ben Jonson

Paperback

27.34 €

Digest of the Militia Laws, to the End of the Last Session of Parliament in the 19 Geo. III. with a Copious Index. by Richard Burn, LL.D. Richard Burn

Paperback

22.98 €

Rivers of Ice Bill Alley

Paperback

16.50 €

Teachers Teaching Teachers Geneal G. Cantrell

Paperback

19.13 €

Plays of Edwin Booth, Volume 1 Edwin Booth

Hardback

40.20 €

Design Thinking Kristin Fontichiaro

Paperback

13.46 €

New Headway: Upper-Intermediate: Student's Book Soars John and Liz

Paperback

29.46 €

SAXON MATH 1 TENNESSEE Saxon Publishers

Hardback

52.45 €

Memorial of St. Mark's Church in the Bowery St. Mark´S Church In The Bowery

Paperback

19.74 €

Education in the United States Richard Gause Boone

Paperback

27.74 €

Municipal Documents of the City of Beverly, Massachusetts: Containing the Annual Reports ... the Address of the Mayor, and the Organization of the Cit Beverly (Mass )

Paperback

28.15 €