Metamathematics of first - order arithmetic /

Eitemau Tebyg

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