"Introdução à lógica elementar com o símbolo de Hilbert" - читать интересную книгу автора (Rejane Carrion, Newton Carneiro Affonso da Costa)