by JohnP.Cleave (Author)
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.
Format: Hardcover
Pages: 432
Publisher: Clarendon Press
Published: 19 Dec 1991
ISBN 10: 0198532113
ISBN 13: 9780198532118