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

Podobne knjige/članki

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