Classics in logic /
London, 
1963.