Alfred Tarski

· 28 obras en el catálogo

Obras

CCardinal algebras

Cardinal algebras

IIntroduction à la logique

Introduction à la logique

LLogic, semantics, and metamathematics

Logic, semantics, and metamathematics

OOrdinal algebras

Ordinal algebras

UUndecidabel theories

Undecidabel theories

IIntroduction to logic and to the methodology of deductive sc

Introduction to logic and to the methodology of deductive sciences

Undecidable theories

AA formalization of set theory without variables

A formalization of set theory without variables

A formalization of set theory without variables

Introduction to logic and to the methodology of deductive sciences

The axiomatic method

Collected Papers : Volume 2

Collected Papers : Volume 1

Collected Papers : Volume 3

Collected Papers

Collected Papers : Volume 4

Einführung in die Mathematische Logik

IIntroduction to Logic

Introduction to Logic

TTheory of Models

Theory of Models

AAlfred Tarski. Collected Papers Volume 4 1958-1979

Alfred Tarski. Collected Papers Volume 4 1958-1979

CCardinal algebras : With an appendix

Cardinal algebras : With an appendix

IIntroduction To Logic and to the Methodolgy of Deductive Sci

Introduction To Logic and to the Methodolgy of Deductive Sciences

DDecision Method for Elementary Algebra and Geometry

Decision Method for Elementary Algebra and Geometry

IIntroduction to Logic and to the Methodology of Deductive Sc

Introduction to Logic and to the Methodology of Deductive Sciences -- Second Edition