Introducción lógica proposicional. IT-Systemhaus was ist das. Nomikos family tree. 勝男 近く.