“... may be obtained by simply merging the corresponding Hilbert calculi. In 1941, Emil Post studied...”
Mais informações

“..., sublógicas ou fragmentos da Lógica Clássica. Em 1941, Emil Post apresentou a organização de todos clones...”
Mais informações