Logic and Proof/

Lignende værker

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