BibTeX record series/leus/Floyd12

download as .bib file

@incollection{DBLP:series/leus/Floyd12,
  author       = {Juliet Floyd},
  editor       = {Peter Dybjer and
                  Sten Lindstr{\"{o}}m and
                  Erik Palmgren and
                  G{\"{o}}ran Sundholm},
  title        = {Wittgenstein's Diagonal Argument: {A} Variation on Cantor and Turing},
  booktitle    = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
                  of Mathematics in Honour of Per Martin-L{\"{o}}f},
  series       = {Logic, Epistemology, and the Unity of Science},
  volume       = {27},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-94-007-4435-6\_2},
  doi          = {10.1007/978-94-007-4435-6\_2},
  timestamp    = {Sun, 02 Jun 2019 20:42:14 +0200},
  biburl       = {https://dblp.org/rec/series/leus/Floyd12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics