Nato ASI Subseries F:

Computational Logic

Editors: Berger, Ulrich, Schwichtenberg, Helmut (Eds.)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-3-642-58622-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $329.00
price for USA
  • ISBN 978-3-540-64589-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-3-642-63670-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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).

Table of contents (11 chapters)

  • Game Semantics

    Abramsky, Samson (et al.)

    Pages 1-55

  • Notes on the Simply Typed Lambda Calculus

    Aczel, Peter

    Pages 57-97

  • Problems in Type Theory

    Barendregt, Henk

    Pages 99-111

  • Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study

    Benl, Holger (et al.)

    Pages 113-126

  • Propositional Proof Complexity an Introduction

    Buss, Samuel R.

    Pages 127-178

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-3-642-58622-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $329.00
price for USA
  • ISBN 978-3-540-64589-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-3-642-63670-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computational Logic
Editors
  • Ulrich Berger
  • Helmut Schwichtenberg
Series Title
Nato ASI Subseries F:
Series Volume
165
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-58622-4
DOI
10.1007/978-3-642-58622-4
Hardcover ISBN
978-3-540-64589-4
Softcover ISBN
978-3-642-63670-7
Series ISSN
0258-1248
Edition Number
1
Number of Pages
IX, 448
Topics