Handbook of Philosophical Logic
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-...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht :
Springer Netherlands,
2007.
|
Έκδοση: | 2nd Edition. |
Σειρά: | Handbook of Philosophical Logic ;
14 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Search Result 1
Search Result 2
Search Result 3