A Study of Logics
Book Details
Format
Hardback or Cased Book
Book Series
Oxford Logic Guides
ISBN-10
0198532113
ISBN-13
9780198532118
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Dec 19th, 1991
Print length
430 Pages
Weight
894 grams
Dimensions
24.00 x 16.10 x 3.20 cms
Product Classification:
Philosophy of mathematicsMathematical logic
Ksh 41,050.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
A great variety of logical systems arise in mathematical logic and computer science. This is a new systematic study of the principles behind such logics. The technical work is illuminated by information about its historical and philosophical context.
It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski''s well-known axiomatization of the notion of logical consequence.Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey to the field.
Get A Study of Logics by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
