Mathematical logic - these words can increasingly be heard in colloquial speech, seen in newspaper and magazine articles. They are used not only by scientists, engineers and technicians, machine builders and teachers. Man has long sought to create devices and machines that would perform not only physical, but also mental work for him...