Introduction to metamathematics /

Similar Items

• Metamathematical investigation of intuitionistic arithmetic and analysis /
  by: Troelstra, A. S. (Anne Sjerp)
  Published: (1973)
• Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics
  by: Auerbach, David Daniel
  Published: (2009)
• What Is a Theorem (in Practice)? The Role of Metamathematics in the Making of Mathematics
  by: Sylvain Lavau
  Published: (2021-07-01)
• Foundations of mathematics : questions of analysis, geometry and algorithmics /
  by: 460476 Engeler, Erwin, et al.
  Published: (1993)
• The mathematics of algebraic systems : collected papers 1936-1967 /
  by: Mal'cev, Antaolii Ivanvich, 1909-1967
  Published: (1971)