Thanks to everyone for the Henkin paper citation (And to Herb
Enderton for also providing the JSL review reference).
(By the way, I'm looking forward to the 2001 edition of _A
Mathematical Introduction to Logic_ -- after 29 years!)
Charlie Silver