Advertisement

© 1975

Model Theory and Topoi

A Collection of Lectures by Various Authors

  • Editors
  • F. William Lawvere
  • Christian Maurer
  • Gavin C. Wraith
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-2
  2. F William Lawvere
    Pages 3-14
  3. Orville Keane
    Pages 15-50
  4. P. T. Johnstone
    Pages 103-113
  5. G. C. Wraith
    Pages 114-206
  6. A. Kock, P. Lecouturier, C. J. Mikkelsen
    Pages 209-283
  7. Christian Maurer
    Pages 284-296
  8. Back Matter
    Pages 355-356

About these proceedings

Keywords

Finite Logic Topos boundary element method classification language model theory semantics set theorem tool

Bibliographic information

  • Book Title Model Theory and Topoi
  • Book Subtitle A Collection of Lectures by Various Authors
  • Editors F.W. Lawvere
    C. Maurer
    G.C. Wraith
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0061290
  • Copyright Information Springer-Verlag Berlin Heidelberg 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-07164-8
  • eBook ISBN 978-3-540-37495-4
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VI, 358
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Topology
  • Buy this book on publisher's site