This website uses cookies for analytical and functional purposes.

Trustpilot
MENU
Need Help?
Compare Selected 0

Introduction To Mathematical Logic [9789814343862]

(No reviews yet) Write a Review
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules - of a high, though often neglected, pedagogical value - aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.
more
less
Free UK Delivery
rrp: £60.00
£56.40
(You save £3.60 )
Availability:
Delivery Usually In 5-10 Working Days
Add to Wish List
SKU:
9789814343862
ISBN13:
9789814343862
Availability:
Delivery Usually In 5-10 Working Days
Author:
Michal Walicki
Publisher:
World Scientific Publishing Co Pte Ltd
Publication:
15-Dec-2011
Format:
Hardback
Pages:
280
Weight:
800 Grams
Echoes in Death: 44 cover photo

Echoes in Death: 44 [9780349410883]

New York at night. A young woman stumbles out on to a busy street - right in front of Lieutenant Eve Dallas and husband Roarke. Her name is Daphne Str…

rrp: £8.99
£8.45
Add to Cart
Delivery Usually In 4-8 Working Days
Ice: Nature and Culture cover photo

Ice: Nature and Culture [9781780239057]

Ice has played a prominent role in the history of the earth and its living communities for millennia. We have had fun with and on ice, battled over ic…

rrp: £15.95
£14.99
Add to Cart
Delivery Usually In 6-15 Working Days
Children's Book of Art cover photo

Children's Book of Art [9781405336598]

This is an introduction to the world's most amazing artworks. From Andy Warhol to Jackson Pollock and Michelangelo, introduce your child to the comple…

rrp: £14.99
£10.18
Add to Cart
Delivery usually in 2-6 working days.
Boost Your Brain cover photo

Boost Your Brain [9781409324867]

You can switch on your brain with puzzles, tips and teasers. You can improve your memory and recall, develop cognitive skills and increase your brain …

rrp: £9.99
£7.76
Add to Cart
Delivery Usually In 5-10 Working Days