|
|
|||
|
||||
OverviewThis first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. 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: Second Edition 2001 Volume: 1 Dimensions: Width: 15.50cm , Height: 2.10cm , Length: 23.50cm Weight: 0.617kg ISBN: 9789048157174ISBN 10: 904815717 Pages: 385 Publication Date: 22 September 2011 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 ContentsReviewsThe 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 |
||||