Advertisement

Collegium Logicum

  • Kurt-Gödel-Gesellschaft

Part of the Collegium Logicum book series (COLLLOGICUM, volume 2)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Manfred Kerber, Michael Kohlhase
    Pages 21-49
  3. Jan Krajíček
    Pages 56-64
  4. Pavel Pudlák
    Pages 65-86
  5. Rudolf Freund, Ludwig Staiger
    Pages 118-137
  6. Back Matter
    Pages 139-143

About these proceedings

Keywords

Resolution Turing machine complexity complexity theory logic mathematical logic proof

Authors and affiliations

  • Kurt-Gödel-Gesellschaft
    • 1
  1. 1.Institut für ComputersprachenTechnische Universität WienViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-9461-4
  • Copyright Information Springer-Verlag Vienna 1996
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-82796-3
  • Online ISBN 978-3-7091-9461-4
  • Series Print ISSN 0947-577X
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Telecommunications