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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02004875
Price: 154.55 EUR
Availability: InStock
Author: Ulrich Berger
ISBN: 9783642636707

Ulrich Berger

Helmut Schwichtenberg

Language

English

Book Paperback

Libristo code: 02004875

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2012

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

Libristo code: 02004875

373 b

154.55 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Biogenen Amine Markus Guggenheim

Paperback

77.17 €

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann

Paperback

53.16 €

El cuaderno de Picasso FLORENTINO PAREDES GARCIA

Paperback

11.94 €

Campo Santo W. G. Sebald

Hardback

20.55 €

Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon

Paperback

34.93 €

FUGA PARA UNA ISLA -NEB PRIEST

Book

8.40 €

Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda

Paperback

7.08 €

Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe

Paperback

38.38 €

Pflegeoasen in Deutschland Hermann Brandenburg

Hardback

50.43 €

Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde

Paperback

14.37 €

full goodwill-Methode nach IFRS 3 (2008) Ina Klein

Paperback

44.55 €

Betriebsrate Daniel Jäger

Paperback

17.11 €

Die Gudrunsage Karl Heinrich Keck

Hardback

32.10 €

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

Date of issue 2012

Number of pages 448

EAN 9783642636707

ISBN 3642636705

Libristo code 02004875

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weight 700

Dimensions 155 x 235 x 25

You might also be interested in

Topics in Acoustic Echo and Noise Control Eberhard Hänsler

Paperback

181.59 €

Understanding Criminal Justice Azrini Wahidin

Paperback

63.90 €

Toothpick: The Greedy Cat Lora Mela

Paperback

9.61 €

Systemic Racism in the United States Robbie W. C. Tourse

Hardback

110.89 €

Aging with Care Amanda Lambert

Paperback

33.21 €

Ocean Sailing Paul Heiney

Hardback

26.83 €

Sudoku Puzzle Book For Teens: Easy to Medium Sudoku Puzzles Including 330 Sudoku Puzzles with Solutions 3rd Edition, Great Gift for Teens or Tweens Quick Creative

Paperback

7.69 €