|
![]() |
|||
|
||||
OverviewThis is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book includes contributions concerning the role of logic today, including unexpected aspects of contemporary logic and the application of logic. This book will be of interest to logicians and mathematicians in general. Full Product DetailsAuthor: Professor Dov M Gabbay , Sergei S Goncharov , Michael ZakharyaschevPublisher: Springer Imprint: Springer Dimensions: Width: 23.40cm , Height: 2.00cm , Length: 15.60cm Weight: 0.526kg ISBN: 9780387509358ISBN 10: 0387509356 Pages: 376 Publication Date: 30 August 2008 Audience: General/trade , General Format: Undefined Publisher's Status: Unknown Availability: Out of stock ![]() Table of ContentsReviews<p>From the reviews: <p><p> It may be one of the best books I ever read . The book is best described as a drawerful of ambitious, thought-provoking research questions. Some will inspire you to go search for more literature, and some might even get you started on new research topics. this collection is a fascinating bouquet of research questions to pursue or suggest to your students. I am convinced that this collection will nurture future research and be a great source of inspiration for young researchers. (Anders Sogaard, Studia Logica, Vol. 87 (361-365), 2007) Author InformationTab Content 6Author Website:Countries AvailableAll regions |