SEMANTICS AND LOGICS OF COMPUTATION by Andrew M. Pitts (Editor), Peter Dybjer (Editor) ( 9780521580571 )

Item Details

Title:

SEMANTICS AND LOGICS OF COMPUTATION

By:

Andrew M. Pitts (Editor), Peter Dybjer (Editor)

Format:

Hardback

List price:

£125.00

Our price:

£109.38

Discount:

12.5% off

You save:

£15.62

ISBN 10:

0521580579

ISBN 13:

9780521580571

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

CAMBRIDGE UNIVERSITY PRESS

Pub. date:

30 January, 1997

Series:

Publications of the Newton Institute 14

Pages:

376

Description:

Summer school lecture courses on modern logic and computation are presented here.

Synopsis:

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Illustrations:

Illustrations

Publication:

Imprint:

Cambridge University Press

Returns:

Returnable

Some other items by this author:

APPLIED SEMANTICS (PB)

AUTOMATA, LANGUAGES, AND PROGRAMMING (PB)

CATEGORY THEORY AND COMPUTER SCIENCE (PB)

EPISTEMOLOGY VERSUS ONTOLOGY (HB)