Advertisement

The Computational Complexity of Logical Theories

  • Authors
  • Jeanne Ferrante
  • Charles W. Rackoff

Part of the Lecture Notes in Mathematics book series (LNM, volume 718)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Jeanne Ferrante, Charles W. Rackoff
    Pages 1-27
  3. Jeanne Ferrante, Charles W. Rackoff
    Pages 28-46
  4. Jeanne Ferrante, Charles W. Rackoff
    Pages 47-54
  5. Jeanne Ferrante, Charles W. Rackoff
    Pages 55-127
  6. Jeanne Ferrante, Charles W. Rackoff
    Pages 128-147
  7. Jeanne Ferrante, Charles W. Rackoff
    Pages 148-152
  8. Jeanne Ferrante, Charles W. Rackoff
    Pages 153-161
  9. Jeanne Ferrante, Charles W. Rackoff
    Pages 162-186
  10. Jeanne Ferrante, Charles W. Rackoff
    Pages 187-233
  11. Back Matter
    Pages 234-243

About this book

Keywords

Komplexität Logic Prädikatenkalkül addition complexity computation computational complexity form function functions games

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0062837
  • Copyright Information Springer-Verlag Berlin Heidelberg 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09501-9
  • Online ISBN 978-3-540-35197-9
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences