Record:   Prev Next
書名 Logic colloquium '90 : ASL Summer Meeting in Helsinki / J. Oikkonen, J. Väänänen (eds.)
出版項 Berlin ; New York : Springer-Verlag, c1993
國際標準書號 0387570942
3540570942 (Berlin)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 L63 1990    在架上    30340200303760
 資訊所圖書室會議論文區  Proc F4.1 L8325 1990    館內使用    30330000104104
說明 viii, 305 p. ; 24 cm
系列 Lecture notes in logic ; 2
附註 PRIORITY 2
主題 Symbolic logic iisf
Alt Author Oikkonen, J
Väänänen, J.
Logic Colloquium (1990 : Finland)
Record:   Prev Next