matematica     TecaLibri

Alfred Tarsky:  opere

  • 1901  Nasce il 14 gennaio a Varsavia. Nato Tajtelbaum.
  • 1933  Concetto di verità e linguaggi formalizzati
  • 1935  Il concetto di semantica nei linguaggi formalizzati
  • 1936  On Mathematical Logic and Deductive Method, [ rif. ]
  • 1941  Introduction to Logic and to the Methodology of Deductive Sciences, [ rif. ]
    • Introduzione alla logica, Bompiani, 1969
  • 1949  Cardinal Algebras
  • 1954  Contributions to the Theory of Models
  • 1956  Logic, Semantics, Metamathematics, Clarendon, Oxford
  • 1956  Ordinal Algebras
  • 1957  Arithmetical Extensions of Relational Systems
    • con: R. Vaught
  • 1983  Muore il 26 ottobre a Berkeley.