Metamathematics of first - order arithmetic /

Gelijkaardige items

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