Handbook of Logic and Proof Techniques for Computer Science (Paperback)
  • Handbook of Logic and Proof Techniques for Computer Science (Paperback)
zoom

Handbook of Logic and Proof Techniques for Computer Science (Paperback)

(author)
£54.99
Paperback 245 Pages / Published: 23/10/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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 Jon Bar- wise, is in point of fact a handbook written by logicians for other mathe- maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe- matical literacy.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461266198
Number of pages: 245
Weight: 415 g
Dimensions: 235 x 155 x 14 mm
Edition: Softcover reprint of the original 1st ed. 200


MEDIA REVIEWS

"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

You may also be interested in...

Concrete Mathematics
Added to basket
How to Think About Algorithms
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
Probability and Computing
Added to basket
Discrete Mathematics
Added to basket
The Lattice Boltzmann Equation
Added to basket
The Art of Computer Programming
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
MATLAB Demystified
Added to basket
£21.99
Paperback
The Elements of Statistical Learning
Added to basket
Foundation Mathematics
Added to basket
A First Course in Coding Theory
Added to basket
The End of Error
Added to basket
Sets, Logic and Maths for Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.