Karl Schröter

Karl Walter Schröter (7 September 1905 in Biebrich near Wiesbaden – 22 August 1977 in Berlin) was a German mathematician and logician. Later on, after the war, he made important contributions concerning semantic consequences () and provability logic (). He worked as a mathematical theoretician and cryptanalyst for the civilian Pers Z S, the cipher bureau of the Foreign Office (), from Spring 1941 to the end of World War II. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Schröter, Karl,', query time: 0.03s Refine Results