edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne
Berlin, Heidelberg : Springer-Verlag, 1989
電子ブック| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
電子ブック |
|
|
|
|
|
1989
機械可読データファイル -- リモートファイル (wr)
: v.: digital
英語 (eng)
英語 (eng)
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
9783540467403 (: electronic bk)
