Normal view
MARC view
1. Logic, Symbolic and Mathematical (Topical Term)
Machine generated authority record
Work cat.: (BD-SaJUCL)18439: CROSSLEY, John N. 338, Constructive order types/, 1969.