Varieties of constructive mathematics

समान संसाधन

• Logic for mathematicians
  द्वारा: Hamilton, Alan G., 1943-
  प्रकाशित: (2001)
• Varieties of constructive mathematics /
  द्वारा: Bridges, Douglas
• Tractatus logico-philosophicus/
  द्वारा: Wittgenstein, Ludwig, 1889-1951
  प्रकाशित: (1974)
• Introduction to Mathematical Logic / Introduction to Mathematical Logic
  द्वारा: Church, Alonzo
  प्रकाशित: (1996)
• Introduction to mathematical logic /
  द्वारा: Church, Alonzo
  प्रकाशित: (1956)