Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Sets and Proofs

All titles
Sets and Proofs

Sets and Proofs

S. Barry Cooper, University of Leeds
John K. Truss, University of Leeds
August 1999
Paperback
9780521635493
$70.99
USD
Paperback
USD
eBook
    Description

    Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of 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, postgraduate researchers, and the informed and interested nonspecialist.

    • Indispensable for researchers in this area
    • Authors are top names
    • Broad coverage of topics

    Reviews & endorsements

    'All the authors are leaders in their fields, some articles pushing forward the technical boundaries of the subject, others providing readable and authoritative overviews of particular important topics … a number of papers can be expected to become classics, essential to any good library (individual or institutional).' Extrait de L'Enseignement Mathématique

    See more reviews

    Product details

    August 1999
    Paperback
    9780521635493
    448 pages
    229 × 152 × 25 mm
    0.65kg
    Available

    Often bought together

    Exploring Mathematics
    Exploring Mathematics

    : Hardback

    An Engaging Introduction to Proof

    Numbers, Sets and Axioms
    Numbers, Sets and Axioms

    : Paperback

    The Apparatus of Mathematics

    Often bought together

    This title is available for institutional purchase via Cambridge Core

    Learn more
    cambridge core banner

    Related Journals

    Combinatorics, Probability and Computing
    Combinatorics, Probability and Computing

    : Journal

    Published bimonthly, Combinatorics, Probability & Computing is devoted to the three areas of combinatorics, probability theory and theoretical computer science. Topics covered include classical and algebraic graph theory, extremal set theory, matroid theory, probabilistic methods and random combinatorial structures; combinatorial probability and limit theorems for random combinatorial structures; the theory of algorithms (including complexity theory), randomised algorithms, probabilistic analysis of algorithms, computational learning theory and optimisation.

    The Review of Symbolic Logic
    The Review of Symbolic Logic

    : Journal

    The Review of Symbolic Logic is designed to cultivate research on theborders of logic, philosophy, and the sciences, and to supportsubstantive interactions between these disciplines. The journalwelcomes submissions in any of the following areas, broadly construed: - The general study of logical systems and their semantics,including non-classical logics and algebraic logic; - Philosophical logic and formal epistemology, including interactions with decision theory and game theory; - The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics; - Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences. The Review welcomes submissions in all these areas. (For informationon how to submit papers, see Guidelines below.) The Review beganpublication in June 2008.

    Mathematical Structures in Computer Science
    Mathematical Structures in Computer Science

    : Journal

    Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. The journal will also accept contributions in new interdisciplinary fields bridging computer science, quantum physics, mathematics and information theory. In particular, papers on quantum information processing and communication, as well as on the related issues in quantum language design will be considered. The journal is also interested in papers on computational modelling of epigenetics phenomena, protein-protein interaction, stochasticity in molecular cascades. Mathematical approches to System Biology will be welcomed, within the broad frame of post-genomic views of embryogenesis and evolution.

    Related Journals

    Also by this Author

    Computability, Enumerability, Unsolvability
    Computability, Enumerability, Unsolvability

    Directions in Recursion Theory

    S. Barry Cooper

    :Paperback

    $65.99 USD
    View product
    Models and Computability
    Models and Computability

    S. Barry Cooper

    :Paperback

    $70.99 USD
    View product
    Logic Colloquium 2006
    Logic Colloquium 2006

    S. Barry Cooper

    :Adobe eBook Reader

    $160.00 USD
    View product
    The Once and Future Turing
    The Once and Future Turing

    Computing the World

    S. Barry Cooper

    :Hardback

    $34.99 USD
    View product

    Also by this Author

    Contents

    Table of Contents

    • 1. An introduction to finitary analyses of proof figures T. Arai
    • 2. What mathematical truth could not be - II P. Benacerraf
    • 3. Proof search in constructive logics R. Dyckhoff and L. F. Pinto
    • 4. David's trick S. D. Friedman
    • 5. A semantical calculus for intuitionistic propositional logic J. Hudelmaier
    • 6. An iteration model violating the singular cardinals hypothesis P. Koepke
    • 7. An introduction to core model theory B. Löwe and J. R. Steel
    • 8. Games of countable length I. Neeman
    • 9. On the complexity of the propositional calculus P. Pudlak
    • 10. The realm of ordinal analysis M. Rathjen
    • 11. Covering properties of core models E. Schimmerling
    • 12. Ordinal systems A. Setzer
    • 13. Polish group topologies S. Solecki
    • 14. Forcing closed unbounded subsets of Nw+1 M. C. Stanley
    • 15. First steps into metapredicativity in explicit mathematics T. Strahm
    • 16. What makes a (pointwise) subrecursive hierarchy slow growing? A. Weiermann
    • 17. Minimality arguments for infinite time Turing degrees P. D. Welch.
      • Show more

    Look inside

    Courses
    Resources
    Additional Information
    About the authors
      Contributors

    • T. Arai, P. Benacerraf, R. Dyckhoff, L. F. Pinto, S. D. Friedman, J. Hudelmaier, P. Koepke, B. Löwe, J. R. Steel, I. Neeman, P. Pudlak, M. Rathjen, E. Schimmerling, A. Setzer, S. Solecki, M. C. Stanley, T. Strahm, A. Weiermann, P. D. Welch

      • Editors
    • S. Barry Cooper , University of Leeds
    • John K. Truss , University of Leeds

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services