Historical Development of Modern Logic

著录项

• 来源
  《Logica Universalis》 |2012年第4期|p.327-337|共11页
• 作者

  Authors/Authors;

  展开▼
• 作者单位

  > class="authors">Beth, E.W.: Semantic Entailment and Formal Derivability, Mededlingen van den Koninklijke Nederlandse Akademie van wetenschappen, afd. Letterkunde, new series, vol. 18, no. 13, pp. 309–342. N.V. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam (1955) class="authors">Brouwer, L.E.J.: Over de grondslagen der wiskunde, Maas and van Suchtelen. Amsterdam and Leipzig Noordhoff, Groningen (1907) class="authors">Burali-Forti, C.: Una questione sui numeri transfiniti. Rendiconti del Circolo Matematico di Palermo class="a-plus-plus">11, 154–164 (1897) English translation in van Heijenoort 1967, 104–111 class="auth;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词