edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne
Berlin, Heidelberg : Springer-Verlag, 1989
E-bookNo. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
---|---|---|---|---|---|---|---|
1 |
|
Online Book |
|
|
|
|
|
1989
computer file -- remote (wr)
: v.: digital
English (eng)
English (eng)
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
9783540467403 (: electronic bk)