Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library)
Book Details
PublisherSpringer
ISBN / ASIN9027700699
ISBN-139789027700698
AvailabilityUsually ships in 24 hours
Sales Rank7,040,116
MarketplaceUnited States 🇺🇸
