Cover: The Logic Theory Machine

The Logic Theory Machine

A Model Heuristic Program

Published 1963

by Einar Stefferud


Download eBook for Free

FormatFile SizeNotes
PDF file 4.9 MB

Use Adobe Acrobat Reader version 10 or higher for the best experience.


Purchase Print Copy

 Format Price
Add to Cart Paperback196 pages $45.00

A highly detailed program listing for the Logic Theory Machine (LT), a computer program written in Information Processing Language-V (IPL-V), and developed especially for use as a pedagogical model. The text portions expand on the documentation in the listing, tracing program flow, analyzing routines used, and providing insight into the structure and development of the program. LT was originally programmed in an early version of IPL to derive proofs of logic expressions in the sentential calculus of Whitehead and Russell. In rewriting it for use as a teaching aid, a new method of replacement on sub-expressions has been included, and many minor changes effecting improvements in clarity have been incorporated. Features of the code that were unjustifiably hard to explain have been simplified. LT can be implemented on any computer for which an IPL-V processor is available.

This report is part of the RAND research memorandum series. The Research Memorandum was a product of RAND from 1948 to 1973 that represented working papers meant to report current results of RAND research to appropriate audiences.

This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit

RAND is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.