| 1 |
1
Algorithmic information theory / Gregory J. Chaitin
Cambridge : Cambridge University Press , 1987
|
| 2 |
2
Logic and computation : interactive proof with Cambridge LCF / Rawrence C. Paulson
Cambridge : Cambridge University Press , 1987
|
| 3 |
5
Topology via logic / Steven Vickers
Cambridge [England] : Cambridge University Press , 1989
|
| 4 |
6
Formal methods in artificial intelligence / Allan Ramsay
Cambridge : Cambridge University Press , 1988
|
| 5 |
44
Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman
: pbk. - Cambridge : Cambridge University Press , 1997
|
