Research Catalog
Logic, form and function : the mechanization of deductive reasoning / J. A. Robinson.
- Title
- Logic, form and function : the mechanization of deductive reasoning / J. A. Robinson.
- Author
- Robinson, J. A. (John Alan)
- Publication
- New York : North-Holland, [1979], ©1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | BC177 .R62 1979 | Off-site |
Details
- Description
- vi, 312 pages : illustrations; 22 cm
- Subjects
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [300]-302.
- ISBN
- 0444194673
- LCCN
- 79052483
- Owning Institutions
- Columbia University Libraries