Logic Symposia Hakone 1979, 1980

Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980

  • Editors
  • Gert H. Müller
  • Gaisi Takeuti
  • Tosiyuki Tugué
Conference proceedings

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

About these proceedings

Keywords

Arithmetic Cantor Finite Mathematische Logik Transfinite induction logic proof set theory theorem

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0090974
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11161-0
  • Online ISBN 978-3-540-38633-9
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book