HyLib 整合性圖書館自動化系統
借閱次數: 0

Dag Prawitz on proofs and meaning

  • 作者:edited by Heinrich Wansing.
  • 出版者:Springer International Publishing : Imprint: Springer
  • 出版地:Cham :
  • 語文:英語
  • 叢書名:Outstanding contributions to logic,
  • 電子資源:http://dx.doi.org/10.1007/978-3-319-11041-7
  • ISBN/ISSN/ISRC:9783319110417 (electronic bk.) ; 9783319110400 (paper)
  • 作者:Wansing, Heinrich.
  • 索書號:160