What logics mean : from proof theory to model-theoretic semantics /

Схожие документы

• Classical mathematical logic : the semantic foundations of logic /
  по: Epstein, Richard L., 1947-
  Опубликовано: (2006)
• Logic : proof
  по: Open University. Mathematics Foundation Course Team
  Опубликовано: (1971)
• Logic, semantics, mathematics : papers from 1923 to 1938 /
  по: 319988 Tarski, Alfred, и др.
  Опубликовано: (1956)
• Proofs and refutations : the logic of mathematical discovery /
  по: 339570 Lakatos, Imre, и др.
  Опубликовано: (1976)
• Elements of mathematical logic (model theory) /
  по: 351900 Kreisel, G., и др.
  Опубликовано: (1971)