| 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: 7/6/2024 18:57