First-Order Programming Theories (Paperback)
Paperback or Softback 353 pages Nov 13, 2012
(No reviews yet)
Write a Review
Write a Review
Springer
First-Order Programming Theories (Paperback)
Millions of titlesEvery book you're looking for
Carbon-neutral shippingFree on orders over $39.99
Fast shipping worldwideDelivered to your door
This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.
- Author:
- Tamas Gergely
- Publisher:
- Springer
- Publication Date:
- Nov 13, 2012
- Number of pages:
- 353 pages
- Binding:
- Paperback or Softback
- ISBN-10:
- 3642635032
- ISBN-13:
- 9783642635038