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.-
The Thirteen Books of the Elements, Vol. 1
-
One, Two, Three...Infinity
-
Game Theory
-
Introduction to Graph Theory
-
The Thirteen Books of the Elements, Vol. 2
-
Concepts of Modern Mathematics
-
Introduction to Topology
-
Partial Differential Equations for Scientists and Engineers
-
The Stanford Mathematics Problem Book
-
A Book of Abstract Algebra
-
Number Theory
-
Riemann's Zeta Function
-
Linear Algebra
-
Geometry, Relativity and the Fourth Dimension
-
Ordinary Differential Equations
-
Calculus
-
Mathematician's Delight
-
Calculus of Variations
-
An Introduction to Information Theory, Symbols, Signals and Noise
-
Elementary Number Theory
-
Handbook of Mathematical Functions
-
Foundations and Fundamental Concepts of Mathematics
-
Functions and Graphs
-
Naive Set Theory
-
The Works of Archimedes
-
A Book of Set Theory
-
Mathematics and the Physical World
-
Advanced Calculus
-
A Beginner's Guide to Mathematical Logic
-
Set Theory and Logic
-
A First Course in Graph Theory
-
Challenging Mathematical Problems with Elementary Solutions, Vol. I
-
Differential Geometry
-
Foundations of the Theory of Probability
-
Axiomatic Set Theory
-
Challenging Problems in Algebra
-
Introduction to Non-Euclidean Geometry
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 |