Handbook of Philosophical Logic Volume 14 / edited by Dov M. Gabbay, Franz Guenthner.
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re-...
Full description
Saved in: