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, et al.
  出版: (1956)
• Proofs and refutations : the logic of mathematical discovery /
  由: 339570 Lakatos, Imre, et al.
  出版: (1976)
• Elements of mathematical logic (model theory) /
  由: 351900 Kreisel, G., et al.
  出版: (1971)