Introduction to Logic by Alfred Tarski
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.
Polish mathematician Alfred Tarski (1901-83) ranks among the greatest logicians of all time. Best known for his work on model theory, meta mathematics, and algebraic logic, he contributed to many other fields of mathematics and taught at the University of California, Berkeley, for more than 40 years.
Tarski's student Andrzej Mostowksi worked at the University of Warsaw on first-order logic and model theory.
Tarski's University of California colleague Raphael M. Robinson built on Tarski's concept of essential undecidability and proved a number of mathematical theories undecidable.
Tarski's student Andrzej Mostowksi worked at the University of Warsaw on first-order logic and model theory.
Tarski's University of California colleague Raphael M. Robinson built on Tarski's concept of essential undecidability and proved a number of mathematical theories undecidable.
| SKU | Unavailable |
| ISBN 13 | 9780486284620 |
| ISBN 10 | 048628462X |
| Title | Introduction to Logic |
| Author | Alfred Tarski |
| Series | Dover Books On Mathematics Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Dover Publications Inc. |
| Year published | 2003-03-28 |
| Number of pages | 272 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |