Symbolic logic and intelligent machines. - Berkeley, Edmund Callis (New York : Reinhold Publishing Corporation, 1959)