All Formats & Editions

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 conceptual role. At the same time,... Read Full Overview

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 conceptual role. At the same time,... Read Full Overview

A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs... Read Full Overview

A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs... Read Full Overview