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)