John L. Bell Fregean Extensions of First-Order Theories. 27-30 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Bell94