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

Peter Schroeder-Heister on proof-theoretic semantics

  • 作者:edited by Thomas Piecha, Kai F. Wehmeier.
  • 出版者:Springer Nature Switzerland : Imprint: Springer
  • 出版地:Cham :
  • 語文:英語
  • 叢書名:Outstanding contributions to logic,
  • 電子資源:https://doi.org/10.1007/978-3-031-50981-0
  • ISBN/ISSN/ISRC:9783031509810 ; 9783031509803
  • 作者:Piecha, Thomas.;Wehmeier, Kai F.
  • 索書號:511.36