|
![]() |
|||
|
||||
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: Springer Imprint: Springer Edition: Softcover reprint of hardcover 2nd ed. 2002 Volume: 9 Dimensions: Width: 15.50cm , Height: 2.00cm , Length: 23.50cm Weight: 0.587kg ISBN: 9789048160556ISBN 10: 9048160553 Pages: 368 Publication Date: 09 December 2010 Audience: Professional and scholarly , Professional and scholarly , Professional & Vocational , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. 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 Author InformationTab Content 6Author Website:Countries AvailableAll regions |