Handbook of Philosophical Logic

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gabbay, D.M (Επιμελητής έκδοσης), Guenthner, F. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2007.
• Έκδοση: 2nd Edition.
• Σειρά: Handbook of Philosophical Logic ; 14
• Θέματα: Mathematics.; Logic.; Language and languages > Philosophy.; Philosophy and science.; Computer logic.; Mathematical logic.; Mathematics, general.; Philosophy of Language.; Philosophy of Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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-...