 |
|
|
Item Details
| Title:
|
A CONCISE INTRODUCTION TO MATHEMATICAL LOGIC
|
| By: |
Wolfgang Rautenberg |
| Format: |
Paperback |
| List price:
|
£64.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
1441912207 |
| ISBN 13: |
9781441912206 |
| Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
| Pub. date: |
1 December, 2009 |
| Edition: |
3rd ed. 2010 |
| Series: |
Universitext |
| Pages: |
320 |
| Description: |
Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised. |
| Synopsis: |
by Lev Beklemishev, Moscow The ?eld of mathematical logic-evolving around the notions of logical validity, provability, and computation-was created in the ?rst half of the previous century by a cohort of brilliant mathematicians and philosophers such as Frege, Hilbert, Godel, Turing, Tarski, Malcev, Gentzen, and some others. The development of this discipline is arguably among the highest achievements of science in the twentieth century: it expanded mat- matics into a novel area of applications, subjected logical reasoning and computability to rigorous analysis, and eventually led to the creation of computers. The textbook by Professor Wolfgang Rautenberg is a well-written - troduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Godel's incompleteness theorems, as well as some topics motivated by appli- tions, such as a chapter on logic programming. The author has taken great care to make the exposition readable and concise; each section is accompanied by a good selection of exercises.A special word of praise is due for the author's presentation of Godel's second incompleteness theorem, in which the author has succeeded in giving an accurate and simple proof of the derivability conditions and the provable ? -completeness, a technically di?cult point that is usually 1 omittedintextbooksofcomparablelevel. Thisworkcanberecommended to all students who want to learn the foundations of mathematical logic. |
| Illustrations: |
7 Tables, black and white; 25 Illustrations, black and white; XXII, 320 p. |
| Publication: |
US |
| Imprint: |
Springer-Verlag New York Inc. |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|