Stock image for illustration purposes only - book cover, edition or condition may vary.
Computational Logic
. Ed(S): Berger, Ulrich; Schwichtenberg, Helmut
€ 187.32
FREE Delivery in Ireland
Description for Computational Logic
Paperback. Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997 Editor(s): Berger, Ulrich; Schwichtenberg, Helmut. Series: NATO ASI Subseries F. Num Pages: 448 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
448
Condition
New
Series
NATO ASI Subseries F
Number of Pages
448
Place of Publication
Berlin, Germany
ISBN
9783642636707
SKU
V9783642636707
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computational Logic