Logical Methods in Computer Science (Germany)
Keywords: Electronic computers. Computer science; Instruments and machines; Logic | Science; Mathematics; Philosophy. Psychology. Religion