Lawvere, F. W. (1972). Introduction. In F. W. Lawvere (Ed.), Toposes, Algebraic Geometry and Logic (pp. 1–12). Springer Berlin Heidelberg.
@inproceedings{lawvere:1972,
  title = {Introduction},
  author = {Lawvere, F. William},
  year = {1972},
  booktitle = {Toposes, Algebraic Geometry and Logic},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  pages = {1--12},
  isbn = {978-3-540-37609-5},
  editor = {Lawvere, F. W.}
}