Advertisement

The Syntax and Semantics of Infinitary Languages

  • Editors
  • Jon Barwise
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-iv
  2. Harvey Friedman, Ronald Jensen
    Pages 77-79
  3. H. J. Keisler
    Pages 96-130
  4. R. D. Kopperman, A. R. D. Mathias
    Pages 131-138
  5. Jerome Malitz
    Pages 166-181
  6. A. Preller
    Pages 182-203
  7. W. W. Tait
    Pages 204-236
  8. Gaisi Takeuti
    Pages 237-264
  9. Joseph Weinstein
    Pages 265-268
  10. Back Matter
    Pages 269-271

About these proceedings

Keywords

Languages Mathematische Logik Syntax compactness theorem computability theory logic model theory proof

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0079679
  • Copyright Information Springer-Verlag Berlin Heidelberg 1968
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-04242-6
  • Online ISBN 978-3-540-35900-5
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site