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

Ítems similars

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