Logical Methods in Computer Science - Germany Logical Methods in Computer Science e.V. ISSN: 1860-5974 Subjects--Topical Terms: Electronic computers. Computer science Instruments and machines Logic | Science MathematicsPhilosophy. Psychology. Religion