AI Search
Normal view
MARC view
- Proof theory
Proof theory(Topical Term)
Machine generated authority record.
Work cat.: (MTX)103900: Proof, logic, and formalization /, 1992.