Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz

Handbook of Logic and Proof Techniques for Computer Science

Steven G. Krantz

245 pages missing pub info (editions)

nonfiction computer science mathematics science challenging informative medium-paced
Powered by AI (Beta)
Loading...

Description

Logic is, and should be, the core subject area of modern mathemat- ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conce...

Read more

Community Reviews

Loading...

Content Warnings

Loading...