Hidden Clicker Hidden Clicker
首頁 > 館藏查詢 > 查詢結果 > 書目資料
後分類 X

目前查詢

歷史查詢

縮小檢索範圍

Topology via logic /
切換:
  • 簡略
  • 詳細(MARC)
  • ISBD
  • 分享

Topology via logic /

正題名/作者 : Topology via logic // Steven Vickers.

作者 : Vickers, Steven.

出版者 : Cambridge [England] ;Cambridge University Press,1989.

面頁冊數 : 200 p. :ill. ;26 cm.

叢書名 : Cambridge tracts in theoretical computer science ;

標題 : Topology. -

ISBN : 0521360625

LEADER 00474nam 2200157 a 450

001 85616

008 890113s1989 enka b 00110 eng

010 $a 89000541

020 $a0521360625

035 $a00019845

050 0 $aQA611$b.V53 1989

082 0 $a514$219

090 $a514/V663/////527025

100 10$aVickers, Steven.$3162272

245 10$aTopology via logic /$cSteven Vickers.

260 0 $aCambridge [England] ;$aNew York :$bCambridge University Press,$c1989.

300 $a200 p. :$bill. ;$c26 cm.

440 0$aCambridge tracts in theoretical computer science ;$v5

650 0$aTopology.$3140000

Vickers, Steven.

Topology via logic /Steven Vickers. - Cambridge [England] ;Cambridge University Press,1989. - 200 p. :ill. ;26 cm. - Cambridge tracts in theoretical computer science ;5.

ISBN: 0521360625

LCCN: 89000541Subjects--Topical Terms:

140000
Topology.


LC Class. No.: QA611 / .V53 1989

Dewey Class. No.: 514
  • 館藏(1)
  • 心得(0)
  • 標籤
  • 相同喜好的讀者(0)
  • 相關資料(0)

歡迎將此書加入書櫃

借過這本書的人還借了哪些館藏

臺灣光復後美援史料 /

臺灣光復後美援史...

周琇環

美援的運用 /

美援的運用 /

趙既昌著

投入產出經濟學 /

投入產出經濟學 ...

崔書香譯

保衛大台灣的美援(1949-1957) = V.S de beausset's order of brilliant star /

保衛大台灣的美援...

林炳炎著

Handbook of set-theoretic topology /

Handbook...

Kunen, Kenneth.

Aspects of topology /

Aspects ...

James, I. M.1928-(Ioan Mackenzie),

A topological picturebook /

A topolo...

Francis, George K.

Topology via logic /

Topology...

Vickers, Steven.

Contract economics /

Contract...

Werin, Lars,1928-

A course in econometrics /

A course...

Goldberger, Arthur Stanley,1930-

Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker
行動借閱證