Home/
First-Order Programming Theories (1991)
First-Order Programming Theories (1991)
No customer reviews yet
ISBN 9783540542773
Springer
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.
About the author
Product details
BrandSpringer
Pub dateDec 5, 1991
ISBN-103540542779
ISBN-139783540542773
LanguageEnglish
Dimensions9.21 × 0.81 × 6.14 in
Weight3 lb
Last updated 2026-09-12 08:01
$114.64
In stock — ships in 24 hours with free tracking
Delivery by Friday, October 2, 2026
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.
Readers who bought this also bought
More from Programming - General