Normal view
MARC view
Functions (Topical Term)
Machine generated authority record.
Work cat.: (BD-DhPL): Kleene, Stephen Cole. 266698, Introduction to metamathematics /, c 1950.