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

 

  • Computational logic and set theory = applying formalized logic to analysis /
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    正題名/作者: Computational logic and set theory/ by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
    其他題名: applying formalized logic to analysis /
    作者: Schwartz, Jacob T.
    其他作者: Cantone, Domenico.
    出版者: London :Springer-Verlag London Limited, : 2011.,
    面頁冊數: xvii, 416 p. :digital ; : 24 cm.;
    Contained By: Springer eBooks
    標題: Computer logic. -
    電子資源: http://dx.doi.org/10.1007/978-0-85729-808-9
    ISBN: 9780857298089 (electronic bk.)
多媒體
評論
Export
取書館別
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入