Computational Logic - Nato ASI Subseries F: 165 (Paperback)
  • Computational Logic - Nato ASI Subseries F: 165 (Paperback)
zoom

Computational Logic - Nato ASI Subseries F: 165 (Paperback)

(editor), (editor)
£153.50
Paperback 448 Pages / Published: 29/10/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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).

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642636707
Number of pages: 448
Weight: 700 g
Dimensions: 235 x 155 x 24 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Emotion: A Very Short Introduction
Added to basket
AQA A level Computer Science
Added to basket
How to Pass Higher Computing Science
Added to basket
Computing with Quantum Cats
Added to basket
Sound and Recording
Added to basket
Robotics
Added to basket
£13.99
Paperback
Introducing Artificial Intelligence
Added to basket
The Mythical Man-Month
Added to basket
Don't Make Me Think, Revisited
Added to basket
One World Trade Center
Added to basket
Theory of Conditional Games
Added to basket
Dark Pools
Added to basket
£9.99
Paperback
Beyond Software Architecture
Added to basket
Using Docker
Added to basket
£47.99
Paperback
Artificial Intelligence: The Basics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.