Handbook of logic in computer science. Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum. Oxford: The Clarendon Press, 1992, 571 s. ISBN 0198537611. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | Handbook of logic in computer science. |
Authors | Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum. |
Edition | Oxford, 571 s. 1992. |
Publisher | The Clarendon Press |
Other information | |
---|---|
ISBN | 0198537611 |
Changed by | The record has been imported from the library system. Changed: 8/8/2022 13:07. |
PrintDisplayed: 18/10/2024 00:48