Advertisement

© 1981

Constructive Mathematics

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980

  • Editors
  • Fred Richman
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-VII
  2. Fred Richman
    Pages 1-11
  3. W. Ruitenburg
    Pages 12-15
  4. Ray Mines, Fred Richman
    Pages 16-30
  5. Fred Richman
    Pages 86-86
  6. Jonathan P. Seldin
    Pages 105-110
  7. Nicolas D. Goodman
    Pages 135-145
  8. J. Lambek, P. J. Scott
    Pages 191-207
  9. Richard Vesley
    Pages 208-212
  10. Newcomb Creenleaf
    Pages 213-240
  11. Douglas S. Bridges, Allan Calder, William Julian, Ray Mines, Fred Richman
    Pages 241-249

About these proceedings

Keywords

Algebra Finite Konstruktive Mathematik Mathematics calculus ordinal recursion set theory theorem

Bibliographic information

  • Book Title Constructive Mathematics
  • Book Subtitle Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980
  • Editors F. Richman
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0090721
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-10850-4
  • eBook ISBN 978-3-540-38759-6
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages X, 350
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking