Alfred Tarski

First published in Polish in 1936, this classic work was originally written as a popular scientific book - one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic.

Introduction to Logic and to the Methodology of Deductive Sciences

Raphael Mitchel Robinson

Raphael R. Robinson

Andrzej Mostowski

This book is well known for its proof that many mathematical systems — including lattice theory and closure algebras — are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."

Undecidable Theories

Leon Henkin

James Donald Monk

Cylindric Algebras

Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence as defined by mathematical theory are cornerstones of modern logic, influencing developments in mathematics, philosophy, linguistics, and computer science. His teaching on logic and mathematics culminated in the 1941 classic INTRODUCTION TO LOGIC, which uses the method of deduction and explores logic and methodology as it pertains to creating mathematical theories. This is the original 1941 edition. DISCLAIMER: this version is based on a typeset scanned with editorial pen markings present which may be either distracting or insightful and helpful to some readers.

Steven R. Givant

A Formalization of Set Theory Without Variables

Raphael H. Robinson

By A. T. in collaboration with A. M. and R. H. R.

Undecidable theories

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. Exercises appear throughout. Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence as defined by mathematical theory are cornerstones of modern logic, influencing developments in mathematics, philosophy, linguistics, and computer science. His teaching on logic and mathematics culminated in the 1941 classic INTRODUCTION TO LOGIC, which uses the method of deduction and explores logic and methodology as it pertains to creating mathematical theories.

And to the Methodology of Deductive Sciences

Introduction to Logic

Collected Papers: 1945-1957

Collected Papers: 1958-1979

Ordinal Algebras

J.W. Addison

Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of California, Berkeley on June 25 to July 11, 1963. The book focuses on works devoted to the foundations of mathematics, generally known as "the theory of models." The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2-valued model theory, semantics, sequents, axiomatization, formulas, axiomatic approach to hierarchies, alternating chains, and difference hierarchies. The text also ponders on Boolean notions extended to higher dimensions, elementary theories with models without automorphisms, and applications of the notions of forcing and generic sets. The manuscript takes a look at a hypothesis concerning the extension of finite relations and its verification for certain special cases, theories of functors and models, model-theoretic methods in the study of elementary logic, and extensions of relational structures. The text also reviews relatively categorical and normal theories, algebraic theories, categories, and functors, denumerable models of theories with extra predicates, and non-standard models for fragments of number theory. The selection is highly recommended for mathematicians and researchers interested in the theory of models.

Proceedings of the 1963 International Symposium at Berkeley

The Theory of Models

Alfred Tarski

About

Books

Join the club