Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...

O objetivo principal deste trabalho é provar o Teorema de Dehn. Esse teorema é resposta ao Terceiro Problema de Hilbert, este problema refere-se à seguinte situação: Se dois poliedros possuem o mesmo volume eles são ...