Metamathematics of first - order arithmetic /

Míreanna Comhchosúla

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