Normal view
MARC view
Herbrand's theorem (Number theory) (Topical Term)
Machine generated authority record.
Work cat.: (OSt)278432: Genesereth, Michael 21965, Introduction to logic (e-book), 2012