Proof Theory
Editat de Peter Aczel, Harold Simmons, Stanley S. Waineren Limba Engleză Paperback – 24 noi 2007
Preț: 287.11 lei
Preț vechi: 358.90 lei
-20%
Puncte Express: 431
Carte tipărită la comandă
Livrare economică 18 iulie-01 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9780521054164
ISBN-10: 0521054168
Pagini: 320
Dimensiuni: 152 x 229 x 19 mm
Greutate: 0.52 kg
Editura: Cambridge University Press
Locul publicării:Cambridge, United Kingdom
ISBN-10: 0521054168
Pagini: 320
Dimensiuni: 152 x 229 x 19 mm
Greutate: 0.52 kg
Editura: Cambridge University Press
Locul publicării:Cambridge, United Kingdom
V-ar putea interesa
-
Constructibility and Mathematical ExistenceCharles S. Chihara-14%Preț: 324.48 lei377.73 lei -
Conceptual Notation and Related ArticlesGottlob Frege-32%Preț: 766.03 lei1124.79 lei -
-24%Preț: 374.96 lei491.24 lei -
Automorphisms of First-order StructuresRichard Kaye-33%Preț: 596.09 lei895.18 lei -
Simplicity TheoryByunghan Kim-34%Preț: 699.83 lei1054.93 lei -
In Defence of Objective BayesianismJon Williamson-14%Preț: 629.17 lei731.59 lei -
Category TheorySteve Awodey-22%Preț: 434.22 lei559.64 lei -
Computing with Cells: Advances in Membrane ComputingPierluigi Frisco-34%Preț: 781.58 lei1175.95 lei -
Mathematical LogicGeorge Tourlakis-9%Preț: 687.71 lei755.72 lei -
Undecidable TheoriesAlfred TarskiPreț: 75.47 lei -
Multiple ForcingT. JechPreț: 322.88 lei -
Forcing with Random Variables and Proof ComplexityJan Krají¿ek-11%Preț: 415.81 lei467.20 lei -
Lectures in Logic and Set TheoryGeorge TourlakisPreț: 429.16 lei -
Principia Mathematica to *56Alfred North Whitehead-14%Preț: 783.66 lei911.23 lei -
A Course in Model TheoryKatrin Tent-11%Preț: 475.93 lei534.75 lei -
Lambda Calculus with TypesHenk Barendregt-11%Preț: 635.51 lei714.05 lei -
Theory of SetsN. BourbakiPreț: 476.32 lei
Cuprins
Preface; Programme of lectures; 1. Basic proof theory S. Wainer and L. Wallen; 2. A short course in ordinal analysis W. Pohlers; 3. Proofs as programs H. Schwichtenberg; 4. A simplified version of local predicativity W. Buchholz; 5. A note on bootstrapping intuitionistic bounded arithmetic S. Buss; 6. Termination orderings and complexity characterisations E. Cichon; 7. Logics for termination and correctness of functional programs, II. Logics of strength PRA S. Feferman; 8. Reflecting the semantics of reflected proof D. Howe; 9. Fragments of Kripke-Platek set theory with infinity M. Rathjen; 10. Provable computable selection functions on abstract structures J. Tucker and J. Zucker.
Descriere
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.