Normal view
MARC view
Pratt-Hartmann (Personal Name)
Machine generated authority record
Work cat.: (OSt)1522454: Pratt-Hartmann, Fragments of First-Order Logic, 2023