First-Order Programming Theories

By Tamas Gergely and Laszlo Ury

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3642635032
• ISBN13: 9783642635038
• Release Date: November 2012
• Publisher: Springer
• Length: 353 Pages
• Weight: 1.29 lbs.
• Dimensions: 0.8" x 6.7" x 9.6"