| Reeves, S., Clarke, M. Logic for Computer Science. Addison-Wesley Longman Publishing Co. Boston, 1990. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Logic for Computer Science |
| Authors | Reeves, S., Clarke, M. |
| Edition | Addison-Wesley Longman Publishing Co. Boston, 1990. |
| Other information | |
|---|---|
| WWW | URL |
| Changed by | Changed by: RNDr. Jan Géryk, Ph.D., učo 72902. Changed: 31/1/2019 10:25. |
PrintDisplayed: 5/5/2024 08:43