Introduction to Logic
Zusammenfassung
The feel-good place to buy books
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 | Nicht verfügbar |
| ISBN 13 | 9780486284620 |
| ISBN 10 | 048628462X |
| Titel | Introduction to Logic |
| Autor | Alfred Tarski |
| Serie | Dover Books On Mathematics Ser |
| Buchzustand | Nicht verfügbar |
| Bindungsart | Paperback |
| Verlag | Dover Publications Inc. |
| Erscheinungsjahr | 2003-03-28 |
| Seitenanzahl | 272 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |