Skip to content
Home/ Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithm
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithm

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithm

No customer reviews yet ISBN 9789027700698 Springer

About the author

Product details

BrandSpringer
Pub dateJul 31, 1970
ISBN-109027700699
ISBN-139789027700698
LanguageEnglish
Dimensions9.21 × 0.5 × 6.14 in
Weight1 lb
Last updated 2026-08-22 05:58
$114.64
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
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 Logic
See all
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
Nolt, John
$9.61
Symbolic Logic and Mechanical Theorem Proving
Chang, Chin-Liang
$84.56
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Revised)
Davis, Martin
$84.56
Fuzzy Sets and Systems: Theory and Applications
DuBois, Didier J
$84.56
Elements of Set Theory
Enderton, Herbert B
$84.56
Mathematical Introduction to Logic (Revised)
Enderton, Herbert B
$184.21