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

Podobne zapisy

• Classical mathematical logic : the semantic foundations of logic /
  od: Epstein, Richard L., 1947-
  Wydane: (2006)
• Logic : proof
  od: Open University. Mathematics Foundation Course Team
  Wydane: (1971)
• Logic, semantics, mathematics : papers from 1923 to 1938 /
  od: 319988 Tarski, Alfred, i wsp.
  Wydane: (1956)
• Proofs and refutations : the logic of mathematical discovery /
  od: 339570 Lakatos, Imre, i wsp.
  Wydane: (1976)
• Elements of mathematical logic (model theory) /
  od: 351900 Kreisel, G., i wsp.
  Wydane: (1971)