b'\n_START_ARTICLE_\nGisbert Hasenjaeger\n_START_SECTION_\nVida e obra\n_START_PARAGRAPH_\nNa Segunda Guerra Mundial participou da campanha da R\xc3\xbassia, onde foi em janeiro de 1942 gravemente ferido. Esteve depois sob a dire\xc3\xa7\xc3\xa3o de Heinrich Scholz no Referat IV a do Cipher Department of the High Command of the Wehrmacht com Karl Stein, respons\xc3\xa1vel pela seguran\xc3\xa7a da Enigma._NEWLINE_Estudou l\xc3\xb3gica matem\xc3\xa1tica a partir de 1945 com Heinrich Scholz na Universidade de M\xc3\xbcnster, obtendo um doutorado em 1950, com a tese Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Pr\xc3\xa4dikatenkalk\xc3\xbcls,) onde obteve a habilita\xc3\xa7\xc3\xa3o em 1953. Com Scholz escreveu o livro-texto Grundz\xc3\xbcge der Mathematischen Logik._NEWLINE_Independente e simultaneamente com Leon Henkin desenvolveu em 1949 uma nova prova do teorema da completude de G\xc3\xb6del._NEWLINE_Dentre seus orientados de doutorado constam Ronald Jensen e Dieter R\xc3\xb6dding.'