A STUDY OF LOGICS by John P. Cleave ( 9780198532118 ) - Books & Audio Books at Pickabook.co.uk

Item Details

Title:

A STUDY OF LOGICS

By:

John P. Cleave

Format:

Hardback

List price:

£202.50

Our price:

£177.19

Discount:

12.5% off

You save:

£25.31

ISBN 10:

0198532113

ISBN 13:

9780198532118

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

OXFORD UNIVERSITY PRESS

Pub. date:

19 December, 1991

Series:

Oxford Logic Guides 18

Pages:

430

Description:

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.

Synopsis:

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.

Illustrations:

line drawings

Publication:

Imprint:

Clarendon Press

Returns:

Returnable