Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

0 avg rating
( 0 ratings by Goodreads )
 
9780521414135: Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
View all copies of this ISBN edition:
 
 

This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

"synopsis" may belong to another edition of this title.

Book Description:

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.

About the Author:

Harold Simmons is officially retired but still active in research. He also teaches postgraduate courses in the School of Mathematics at the University of Manchester.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780521054164: Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Featured Edition

ISBN 10:  0521054168 ISBN 13:  9780521054164
Publisher: Cambridge University Press, 2008
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Published by Cambridge University Press (1993)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1993. Condition: New. book. Seller Inventory # M052141413X

More information about this seller | Contact this seller

Buy New
US$ 54.36
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

2.

Aczel, Peter
Published by Cambridge University Press (1993)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1993. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521414135

More information about this seller | Contact this seller

Buy New
US$ 121.30
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Simmons, Harold
Published by Cambridge University Press (2016)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521414135_lsuk

More information about this seller | Contact this seller

Buy New
US$ 128.67
Convert currency

Add to Basket

Shipping: US$ 4.94
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Aczel, Peter
Published by Cambridge University Press (1993)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 1993. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521414135

More information about this seller | Contact this seller

Buy New
US$ 125.09
Convert currency

Add to Basket

Shipping: US$ 11.52
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

EDITED BY PETER ACZEL , HAROLD SIMMONS , STANLEY S. WAINER
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description 1993. Hardback. Condition: NEW. 9780521414135 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0456499

More information about this seller | Contact this seller

Buy New
US$ 131.24
Convert currency

Add to Basket

Shipping: US$ 10.22
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Leeds Proof Theory Programme (1990 Leeds University)/ Simmons, Harold/ Wainer, Stanley S. (Editor)/ Aczel, Peter/ Wainer, Stanley S.
Published by Cambridge Univ Pr (1993)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Cambridge Univ Pr, 1993. Hardcover. Condition: Brand New. 306 pages. 9.50x6.25x1.00 inches. In Stock. Seller Inventory # __052141413X

More information about this seller | Contact this seller

Buy New
US$ 135.41
Convert currency

Add to Basket

Shipping: US$ 9.60
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2004)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2004. Hardback. Condition: New. New.. Language: English . Brand New Book ***** Print on Demand *****. The lecture courses in this work are derived from the SERC Logic for IT Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists. Seller Inventory # APC9780521414135

More information about this seller | Contact this seller

Buy New
US$ 155.37
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Peter Aczel (Editor), Harold Simmons (Editor), Stanley S. Wainer (Editor)
Published by Cambridge University Press (1993)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1993. Hardcover. Condition: New. Seller Inventory # DADAX052141413X

More information about this seller | Contact this seller

Buy New
US$ 156.20
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2004)
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2004. Hardback. Condition: New. New.. Language: English . Brand New Book ***** Print on Demand *****.The lecture courses in this work are derived from the SERC Logic for IT Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists. Seller Inventory # APC9780521414135

More information about this seller | Contact this seller

Buy New
US$ 160.73
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

Published by Cambridge University Press
ISBN 10: 052141413X ISBN 13: 9780521414135
New Hardcover Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Cambridge University Press. Hardcover. Condition: New. 320 pages. Dimensions: 9.1in. x 6.1in. x 1.1in.This work is derived from the SERC Logic for IT Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Seller Inventory # 9780521414135

More information about this seller | Contact this seller

Buy New
US$ 184.96
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book