Infinitary Logic: In Memoriam Carol Karp

A Collection of Papers by Various Authors

  • Editors
  • David W. Kueker
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-v
  2. E. G. K. López-Escobar
    Pages 1-16
  3. Back Matter
    Pages 207-209

About these proceedings

Keywords

Finite Forth Infinitäre Logik Karp, Carol language logic techniques

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0081118
  • Copyright Information Springer-Verlag Berlin Heidelberg 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07419-9
  • Online ISBN 978-3-540-37949-2
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book