Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Mathematical Logic and Computation (Hardcover)
Loot Price: R1,875
Discovery Miles 18 750
You Save: R141
(7%)
|
|
Mathematical Logic and Computation (Hardcover)
Expected to ship within 12 - 17 working days
|
This new book on mathematical logic by Jeremy Avigad gives a
thorough introduction to the fundamental results and methods of the
subject from the syntactic point of view, emphasizing logic as the
study of formal languages and systems and their proper use. Topics
include proof theory, model theory, the theory of computability,
and axiomatic foundations, with special emphasis given to aspects
of mathematical logic that are fundamental to computer science,
including deductive systems, constructive logic, the simply typed
lambda calculus, and type-theoretic foundations. Clear and
engaging, with plentiful examples and exercises, it is an excellent
introduction to the subject for graduate students and advanced
undergraduates who are interested in logic in mathematics, computer
science, and philosophy, and an invaluable reference for any
practicing logician's bookshelf.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.