Philosophical logic and artificial intelligenceRichmond H. Thomason · First published 1989Open the Tome
Studies in the formal logic of quantificationRichmond H. Thomason · First published 1966Open the Tome