Check nearby libraries
Buy this book
Last edited by Open Library Bot
December 5, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Form (Logic), Inference, Predicate calculus, ReasoningEdition | Availability |
---|---|
1
Logic, form and function: the mechanization of deductive reasoning
1979, North-Holland
in English
0444194673 9780444194671
|
aaaa
|
Book Details
Edition Notes
Bibliography: p. [300]-302.
Includes index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |