Advertisement

© 1981

Logic Year 1979–80

The University of Connecticut, USA

  • Editors
  • Manuel Lerman
  • James H. Schmerl
  • Robert I. Soare
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-VIII
  2. C. Berline, G. Cherlin
    Pages 16-31
  3. Richard L. Epstein, Richard Haas, Richard L. Kramer
    Pages 32-48
  4. Peter A. Fejer, Robert I. Soare
    Pages 49-62
  5. D. Friedman
    Pages 63-66
  6. A. M. W. Glass, Yuni Gurevich, W. Charles Holland, Michèle Jambu-Giraudet
    Pages 67-82
  7. Matt Kaufmann
    Pages 92-103
  8. David W. Kueker
    Pages 120-131
  9. Manuel Lerman
    Pages 132-142
  10. Angus Macintyre
    Pages 143-156
  11. M. Makkai
    Pages 157-201
  12. Terrence Millar
    Pages 215-229
  13. Yiannis N. Moschovakis
    Pages 246-267
  14. Richard A. Shore
    Pages 283-301

About these proceedings

Keywords

Arithmetic Logic Mathematische Logik Morphism computability theory recursion theorem

Bibliographic information

  • Book Title Logic Year 1979–80
  • Book Subtitle The University of Connecticut, USA
  • Editors M. Lerman
    J.H. Schmerl
    R.I. Soare
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0090934
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-10708-8
  • eBook ISBN 978-3-540-38673-5
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages X, 330
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site