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