Normal view
MARC view
Curry, Haskell B. (Personal Name)
Machine generated authority record.
Work cat.: (BD-DhPL): Curry, Haskell B., Foundations of mathematical logic /, c 1963.