| Type |  Book |
| ชื่อเรื่อง | Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor |
| ISBN | 0387976671 |
| | 0387976671 (alk. paper) |
| | 9780387976679 (alk. paper) |
| พิมพลักษณ์ | New York : Springer-Verlag c1992 |
| รูปเล่ม | xi, 608 p. : ill. ; 24 cm |
| หัวเรื่อง | Logic, Symbolic and mathematical --Congresses [] |
| | Computer science |
| | Computer science --Congresses [] |
| | Congresses |
| | Symbolic and mathematical logic |