Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic. Zobraziť viac
