Intermediate logic rev by S H Mellone - Welton, James (1962)