Normal view
MARC view
Mathematical Logic and Foundations (Topical Term)
Machine generated authority record
Work cat.: (OSt)13693: Cox, David A. 20905, Ideals, Varieties, and Algorithms, 2015.