Lecture Notes in Mathematics

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 2: Computation and Proof Theory

Editors: Richter, M.M., Börger, E., Oberschelp, W., Schinzel, B., Thomas, W. (Eds.)

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-540-39119-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.00
price for USA
  • ISBN 978-3-540-13901-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (21 chapters)

  • Contiguous R.E. Degrees

    Ambos-Spies, Klaus

    Pages 1-37

  • Abstract construction of counterexamples in recursive graph theory

    Carstens, Hans-Georg (et al.)

    Pages 39-62

  • Minimal degrees and 1-generic sets below 0′

    Chong, C. T. (et al.)

    Pages 63-77

  • Undecidability and recursive equivalence II

    Crossley, J. N. (et al.)

    Pages 79-100

  • Logical syntax and computational complexity

    Denenberg, Larry (et al.)

    Pages 101-115

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-540-39119-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.00
price for USA
  • ISBN 978-3-540-13901-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Book Subtitle
Part 2: Computation and Proof Theory
Editors
  • M. M. Richter
  • E. Börger
  • W. Oberschelp
  • B. Schinzel
  • W. Thomas
Series Title
Lecture Notes in Mathematics
Series Volume
1104
Copyright
1984
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39119-7
DOI
10.1007/BFb0099476
Softcover ISBN
978-3-540-13901-0
Series ISSN
0075-8434
Edition Number
1
Number of Pages
X, 482
Topics