Raymond Smullyan on self reference. (2017)

• Record Type: Book
• Further Information: Note: Melvin Fitting, Brian Rayman, editors.
• Editors: Fitting, Melvin; Rayman, Brian
• Contents: Introduction; Melvin Fitting.- Formal Systems, Logics, and Programs; Robert L. Constable.- Adaptive Fault Diagnosis using Self-Referential Reasoning; Robert Cowen.- Russell's Paradox, Godel's Theorem ; Melvin Fitting.- Dance of the Starlings ; Henk Barendregt ; Jorg Endrullis ; Jan Willem Klop ; Johannes Waldmann.- Some Tweets About Mockingbirds; Rick Statman.- What I Tell You Three Times Is True ; Martin Davis.- Gödel, Lucas, and the Soul-Searching Selfie ; Vann Mc Gee.- An Island Tale for Young Anthropologists; Andrew G. Buchanan & John H. Conway.- Making the `hardest logic puzzle ever' a bit harder ; Walter Carnielli.- Bibliography; Raymond Smullyan.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Copyright Date: 2017
• Extent: 1 online resource, illustrations
• Subjects: 160; Philosophy; Logic, Symbolic and mathematical; PHILOSOPHY -- Logic; Logic, Symbolic and mathematical; Mathematics -- Logic; Computers -- Computer Science; Mathematical foundations; Computer science; Logic; Information theory; Philosophy: logic; Electronic books
• Languages: English
• ISBNs: 3319687328; 9783319687322
• Related ISBNs: 331968731X; 9783319687315
• Notes: Note: Includes bibliographical references at the end of each chapters.; Note: Description based on print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.