AI Search
Normal view
MARC view
- Detlefsen, Michael,
Detlefsen, Michael, 1948-(Personal Name)
Machine generated authority record.
Work cat.: (MTX)103900: Proof, logic, and formalization /, 1992.