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
€ 64.83
FREE Delivery in Ireland
Description for Handbook of Logic and Proof Techniques for Computer Science
Paperback. Num Pages: 245 pages, biography. BIC Classification: PBC; PBW; UMB; UYA; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
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
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
245
Condition
New
Number of Pages
245
Place of Publication
New York, United States
ISBN
9781461266198
SKU
V9781461266198
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