Varieties of constructive mathematics /

समान संसाधन

• Logic for mathematicians /
  द्वारा: Hamilton, Alan G., 1943-
  प्रकाशित: (2001)
• Varieties of constructive mathematics
  द्वारा: Bridges, Douglas
  प्रकाशित: (1987)
• Introduction to Mathematical Logic / Introduction to Mathematical Logic
  द्वारा: Church, Alonzo
  प्रकाशित: (1996)
• Introduction to mathematical logic /
  द्वारा: Church, Alonzo
  प्रकाशित: (1956)
• A mathematical introduction to logic /
  द्वारा: Enderton, Herbert B.
  प्रकाशित: (2001)