Normal view
MARC view
Dummett M A E(Personal Name)
Machine generated authority record.
Work cat.: (OSt)728881: Crossley J N 413122, Formal systems and recursive functions., 1965