Computational logic and set theory =...
SpringerLink (Online service)

 

  • Computational logic and set theory = applying formalized logic to analysis /
  • 紀錄類型: 書目-電子資源 : 單行本
    正題名/作者: Computational logic and set theory/ by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
    其他題名: applying formalized logic to analysis /
    作者: Schwartz, Jacob T.
    其他作者: Omodeo, Eugenio G.
    出版者: London :Springer-Verlag London Limited, : 2011.,
    面頁冊數: xvii, 416 p. :digital ; : 24 cm.;
    Contained By: Springer eBooks
    標題: Mathematical Logic and Formal Languages. -
    電子資源: http://dx.doi.org/10.1007/978-0-85729-808-9
    ISBN: 9780857298089 (electronic bk.)
多媒體
評論
Export
取書館別
 
 
變更密碼
登入