An Introduction to Category Theory
Harold Simmons, Harold (University of Manchester) Simmons
Inbunden
1 909 kr
Proof Theory
A selection of papers from the Leeds Proof Theory Programme 1990
Häftad, Engelska, 2008
639 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2008-01-21
- Mått151 x 228 x 18 mm
- Vikt484 g
- FormatHäftad
- SpråkEngelska
- Antal sidor320
- FörlagCambridge University Press
- ISBN9780521054164
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Proofs and Computations
Helmut Schwichtenberg, Stanley S. Wainer, Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Inbunden
1 249 kr
Proof Theory
Peter Aczel, Harold Simmons, Stanley S. Wainer, Peter (University of Manchester) Aczel, Harold (University of Manchester) Simmons, Stanley S. (University of Leeds) Wainer
Inbunden
1 889 kr
An Introduction to Category Theory
Harold Simmons, Harold (University of Manchester) Simmons
Häftad
609 kr
Del 224
Computability, Enumerability, Unsolvability
S. B. Cooper, T. A. Slaman, S. S. Wainer, S. B. (University of Leeds) Cooper, T. A. (University of Chicago) Slaman, S. S. (University of Leeds) Wainer, Stanley S. Wainer
Häftad
1 049 kr