Normal view MARC view

Proof theory. (Topical Term)

This authority is not used in any records.
Preferred form: Proof theory.

Machine generated authority record.

Work cat.: (OSt): Schindler, Ralf. 82969, Ways of Proof Theory.