Logic and Proof/

Antzeko izenburuak

• Logic and proof
  nork: Bittinger, Marvin L
  Argitaratua: (1970)
• Introduction to mathematical proofs a transition
  nork: Roberts, Charles E
  Argitaratua: (2010)
• Applied proof theory proof interpretations and their use in mathematics
  nork: Kohlenbach. U.
  Argitaratua: (2008)
• Introduction to proof-reading
  nork: Mallhi, N S
  Argitaratua: (1994)
• Proof theory: First step into impradictivity.
  nork: Pohlers, Wolfram
  Argitaratua: (2009)