Metamathematics of first - order arithmetic /

相似书籍

• Metamathematics of fuzzy logic /
  由: Hajek, Petr
  出版: (1998)
• Metamathematics of algebraic systems /
  由: Malcev, A.I
  出版: (1971)
• Recursion theory for metamathematics.
  由: Smullyan, Raymond M.
  出版: (1993)
• Metamathematics, machines and Godel's proof.
  由: Shankar, N
  出版: (1994)
• Introduction to model theory and to the metamathematics of algebra /
  由: Robinson Abraham
  出版: (1965)