Conference in Mathematical Logic — London ’70

  • Editors
  • Wilfrid Hodges

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

Table of contents

  1. Front Matter
    Pages N2-VIII
  2. Peter Aczel, Wayne Richter
    Pages 1-9
  3. Paul D. Bacsich
    Pages 10-28
  4. Nigel Cutland
    Pages 42-62
  5. Melvin Fitting
    Pages 103-110
  6. Angus Macintyre
    Pages 178-203
  7. A. R. D. Mathias
    Pages 204-210
  8. J. M. B. Moss
    Pages 211-250
  9. J. B. Paris
    Pages 251-280
  10. Moto-o Takahashi
    Pages 281-304
  11. Wilfrid Hodges
    Pages 336-351
  12. Back Matter
    Pages 353-355

About these proceedings

Keywords

Arithmetic Finite Identity Logic Mathematische Logik calculus function mathematical logic ordinal set theory theorem

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0059533
  • Copyright Information Springer-Verlag Berlin Heidelberg 1972
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-05744-4
  • Online ISBN 978-3-540-37162-5
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book