|
|
|||
|
||||
OverviewThe ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications. Full Product DetailsAuthor: Dov M. Gabbay , Franz GuenthnerPublisher: Kluwer Academic Publishers Imprint: Kluwer Academic Publishers Edition: Second Edition 2002 Volume: 9 Dimensions: Width: 15.60cm , Height: 2.20cm , Length: 23.40cm Weight: 1.590kg ISBN: 9781402006999ISBN 10: 1402006993 Pages: 368 Publication Date: 30 November 2002 Audience: Professional and scholarly , College/higher education , General/trade , Professional & Vocational , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsRewriting Logic as a Logical and Semantic Framework.- Logical Frameworks.- Proof Theory and Meaning.- Goal Directed Deductions.- On Negation, Completeness and Consistency.- Logic as General Rationality: A Survey.ReviewsThe best starting point for exploring any of the topics in logic Encyclopaedia Britannica The best starting point for exploring any of the topics in logic Encyclopaedia Britannica The best starting point for exploring any of the topics in logic Encyclopaedia Britannica The best starting point for exploring any of the topics in logic Encyclopaedia Britannica The best starting point for exploring any of the topics in logic <br> Encyclopaedia Britannica Author InformationTab Content 6Author Website:Countries AvailableAll regions |
||||