Stock image for illustration purposes only - book cover, edition or condition may vary.
Handbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz
€ 65.49
FREE Delivery in Ireland
Description for Handbook of Logic and Proof Techniques for Computer Science
Hardback. This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory. Num Pages: 245 pages, biography. BIC Classification: PBCD; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 576.
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, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by ... Read more
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, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by ... Read more
Product Details
Format
Hardback
Publication date
2002
Publisher
Birkhauser Boston Inc United States
Number of pages
245
Condition
New
Number of Pages
245
Place of Publication
Secaucus, United States
ISBN
9780817642204
SKU
V9780817642204
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Handbook of Logic and Proof Techniques for Computer Science
"This is really what it promises to be—a good handbook: supple, self-contained, providing the necessary and sufficient working resources . . . it is more than [one] expect[s]: the rigor of usefulness and conciseness exceeds or equals . . . the pleasure of reading it." —Zentralblatt Math