Digital Libraries

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): Probst, Dieter. 39294, Concepts of Proof in Mathematics, Philosophy, and Computer Science.