logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Logic, Form And Function: The Mechanization Of Deductive Reasoning - John Alan Robinson
Logic, Form And Function: The Mechanization Of Deductive Reasoning
by: (author)
Format: hardcover
ISBN: 9780444194671 (0444194673)
Publisher: North-Holland
Pages no: 312
Edition language: English
Category:
Philosophy, Logic
Bookstores:
Community Reviews
Manny Rayner's book reviews
Manny Rayner's book reviews rated it
5.0 Logic: Form and function - The Mechanization of Deductive Reasoning
text Logic: Form and function - The Mechanization of Deductive Reasoning
A couple of thousand years ago, Aristotle, or one of those guys (I don't know as much as I should about the history of logic), came up with the idea of the syllogism. I assume people already took it for granted that you could justify a statement by saying it followed from one or two other statements...
See review
see community reviews
Other editions (1)
Logic: Form And Function: The Mechanization Of Deductive Reasoning - John Alan Robinson
Books by John Alan Robinson
Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 1 - Dov M. Gabbay, John Alan Robinson, C.J. Hogger
Computational Logic: Essays In Honor Of Alan Robinson - John Alan Robinson
Handbook of Logic in Artificial Intellig... Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning - Dov M. Gabbay, John Alan Robinson, C.J. Hogger
Logic, Form And Function: The Mechanization Of Deductive Reasoning - John Alan Robinson
Handbook of Automated Reasoning - John Alan Robinson
Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 2 - Dov M. Gabbay, John Alan Robinson
Logic, Algebra, and Computation: Interna... Logic, Algebra, and Computation: International Summer School - Friedrich Ludwig Bauer, W. Brauer, Gérard Huet, H. Schwichtenberg, John Alan Robinson
On shelves
robbiehickey Manny Rayner's book reviews
see more
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.