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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computational Logic

Name: Computational Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02004875
Price: 160.89 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

394 b

160.89 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Die Biogenen Amine Markus Guggenheim

Paperback

80.29 €

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann

Paperback

55.29 €

El cuaderno de Picasso FLORENTINO PAREDES GARCIA

Paperback

12.29 €

Campo Santo W. G. Sebald

Hardback

22.90 €

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

Paperback

36.49 €

FUGA PARA UNA ISLA -NEB PRIEST

Book

8.59 €

Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda

Paperback

7.39 €

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

Paperback

42.90 €

Pflegeoasen in Deutschland Hermann Brandenburg

Hardback

52.39 €

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

Paperback

15.90 €

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

Paperback

49.90 €

Betriebsrate Daniel Jäger

Paperback

18.95 €

Die Gudrunsage Karl Heinrich Keck

Hardback

35.90 €

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

187.89 €

Understanding Criminal Justice Azrini Wahidin

Paperback

65.89 €

Toothpick: The Greedy Cat Lora Mela

Paperback

9.99 €

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

Hardback

115.59 €

Aging with Care Amanda Lambert

Paperback

34.19 €

Ocean Sailing Paul Heiney

Hardback

28.19 €

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