SETS AND PROOFS by S. Barry Cooper (Editor), John K. Truss ( 9780521635493 )

Item Details

Title:

SETS AND PROOFS

By:

S. Barry Cooper (Editor), John K. Truss

Format:

Paperback

List price:

£36.99

Our price:

£32.37

Discount:

12.5% off

You save:

£4.62

ISBN 10:

0521635497

ISBN 13:

9780521635493

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

CAMBRIDGE UNIVERSITY PRESS

Pub. date:

17 June, 1999

Series:

London Mathematical Society Lecture Note Series 258

Pages:

448

Description:

First of two volumes providing a comprehensive guide to mathematical logic.

Synopsis:

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.

Illustrations:

Illustrations

Publication:

Imprint:

Cambridge University Press

Returns:

Returnable

Some other items by this author:

ALAN TURING: HIS WORK AND IMPACT (HB)

COMPUTABILITY IN CONTEXT: COMPUTATION AND LOGIC IN THE REAL WORLD (HB)

COMPUTABILITY THEORY

COMPUTABILITY THEORY (HB)