TY  - BOOK
TI  - Logical Methods in Computer Science
SN  - 1860-5974
CY  - Germany
KW  -  Electronic computers. Computer science
KW  -  Instruments and machines
KW  -  Logic | Science
KW  -  Mathematics
KW  - Philosophy. Psychology. Religion
UR  - https://doaj.org/toc/00cf9ec0afd04cbaa36d5997c06f8edc
ER  -