Logical Theorist - theorem proving system at RAND

LT-2 1 Evolution of
1