Keene, G. B..
First-order functional calculus /
by G.B. Keene 
. - London : Routledge & Kegan Paul,  1964 
. - vi, 82 p.  18 cm. 
 - (Monographs in modern logic )