正題名/作者 : 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