Alfred Tarski

发表

An interpolation theorem for irredundant bases of closure structures

Alfred Tarski, A. Tarski, 1975, Discret. Math..

Alfred Tarski, Leon Henkin, J. Donald Monk, 1986, Ann. Pure Appl. Log..

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski, L. Susan Stebbing, A. Tarski, 1943 .

'...(I)n considerations of a general theoretical nature the proper concept of con- sequence must be placed in the foreground.'

Alfred Tarski, Greg Restall, Jc Beall, 2009 .

The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958

Patrick Suppes, Alfred Tarski, Leon Henkin, 1959 .

The Elementary Theory of Well-Odering—A Metamathematical Study—

Alfred Tarski, Andrzej Mostowski, John E. Doner, 1978 .

Logic, Semantics, Metamathematics

A. R. Turquette, Alfred Tarski, L. Jonathan Cohen, 1957 .

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday

Alfred Tarski, Leon Henkin, A. Tarski, 1974 .

The formalism ℒof predicate logic

Alfred Tarski, Steven Givant, 1987 .

A problem concerning the notion of definability

Alfred Tarski, A. Tarski, 1948, Journal of Symbolic Logic.

Logique, sémantique, métamathématique, 1923-1944

Alfred Tarski, A. Tarski, 1972 .

Der Wahrheitsbegriff in den formalisierten Sprachen

Alfred Tarski, A. Tarski, 1935 .

The Theory of Models Proceedings of the 1963 International Symposium at Berkeley

Alfred Tarski, Leon Henkin, J. W. Addison, 1965 .

Introduction a la logique

Alfred Tarski, 1960 .

Tarski's System of Geometry

Alfred Tarski, Steven Givant, A. Tarski, 1999, Bulletin of Symbolic Logic.

On the Application of Symbolic Logic to Algebra

Alfred Tarski, Abraham Robinson, 1953 .

On undecidable statements in enlarged systems of logic and the concept of truth

Alfred Tarski, A. Tarski, 1939, Journal of Symbolic Logic.

Some theorems about the sentential calculi of Lewis and Heyting

Alfred Tarski, J. C. C. McKinsey, J. McKinsey, 1948, The Journal of Symbolic Logic.

Measurement, Empirical Meaningfulness, and Three-Valued Logic.@@@Logics Appropriate to Empirical Theories.

Patrick Suppes, Alfred Tarski, Leon Henkin, 1970 .

Logic, Semantics, Metamathematics: Papers from 1923 to 1938

Alfred Tarski, John Corcoran, A. Tarski, 1958 .

The President, the Vice President, the Secretary-Treasurer, and B. A. BERNSTEIN,' MAX

Alfred Tarski, Alonzo Church, S. C. Kleene, 2016 .

Logic, Methodology and Philosophy of Science

Patrick Suppes, Max Black, Alfred Tarski, 1963 .

Logic, Semantics, Metamathematics

A. R. Turquette, Alfred Tarski, Atwell R. Turquette, 1957 .

Relational selves as self-affirmational resources

Alfred Tarski, A. Tarski, Helen C. Boucher, 2008 .

Equational Logic and Equational Theories of Algebras

Alfred Tarski, A. Tarski, 1968 .

The completeness of elementary algebra and geometry

Alfred Tarski, 1967 .

Some Problems and Results Relevant to the Foundations of Set Theory

Alfred Tarski, 1966 .

I: A General Method in Proofs of Undecidability

Alfred Tarski, 1953 .

Introduction to Logic and to the Methodology of the Deductive Sciences

Alfred Tarski, 1942 .

The Sentential Calculus with Infinitely Long Expressions

Alfred Tarski, Dana Scott, 1958 .

On the Concept of Following Logically

Alfred Tarski, A. Tarski, 2002 .

On well-ordered subsets of any set

Alfred Tarski, 1939 .

Metamathematical discussion of some affine geometries

Alfred Tarski, A. Tarski, L. Szczerba, 1979 .

Cancellation laws in the arithmetic of cardinals

Alfred Tarski, 1949 .

An extended arithmetic of ordinal numbers

Alfred Tarski, John E. Doner, A. Tarski, 1969 .

A Remark on Functionally Free Algebras

Alfred Tarski, 1946 .

From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)

Alfred Tarski, A. Tarski, H. Keisler, 1964 .

Distributive and Modular Laws in the Arithmetic of Relation Algebras

Alfred Tarski, Louise H. Chin, 1953 .

Direct decompositions of finite algebraic systems

Alfred Tarski, Bjarni Jónsson, A. Tarski, 1947 .

Equationally Complete Rings and Relation Algebras

Alfred Tarski, A. Tarski, 1956 .

A General Theorem Concerning Primitive Notions of Euclidean Geometry

Alfred Tarski, A. Tarski, 1956 .

Languages with Added Quantifier There Exist at Least ℵ α

Alfred Tarski, Leon Henkin, J. W. Addison, 1970 .

Measures in Boolean algebras

Alfred Tarski, Alfred Horn, A. Tarski, 1948 .

Higher degrees of distributivity and completeness in Boolean algebras

Alfred Tarski, E. C. Smith, 1957 .

Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693 and G14006 : report for the period July 1, 1959-June 30, 1961

Haim Gaifman, Alfred Tarski, A. Tarski, 1962 .

II: Undecidability and Essential Undecidability in Arithmetic

Alfred Tarski, Raphael M. Robinson, A. Tarski, 1953 .

On some problems involving inaccessible cardinals

Paul Erdös, Alfred Tarski, A. Tarski, 1961 .

Remarks on Fundamental Concepts of the Methodology of Mathematics

Alfred Tarski, Jan Zygmunt, Robert Purdy, 2012 .

Remarks on predicate logic with infinitely long expressions

Alfred Tarski, 1958 .