Three views of logic : mathematics, philosophy, and computer science /

Lignende værker

• An introduction to Abhidhamma (Buddhist philosophy and psychology)/
  af: Silananda Brahmachari
  Udgivet: (1990)
• THE NONCLASSICAL ION PROBLEM
  af: BROWN HERBERT VC
  Udgivet: (1977)
• Logic and proof
  af: Bittinger, Marvin L
  Udgivet: (1970)
• Logic and Proof/
  af: Bittinger, Marvin L.
  Udgivet: (1970)
• Applied proof theory proof interpretations and their use in mathematics
  af: Kohlenbach. U.
  Udgivet: (2008)