Advertisement

© 1981

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

  • Book Title Logic Symposia Hakone 1979, 1980
  • Book Subtitle Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980
  • Editors G.H. Müller
    G. Takeuti
    T. Tugue
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0090974
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-11161-0
  • eBook ISBN 978-3-540-38633-9
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages XIV, 398
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
    Logic
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking