BibTeX record series/leus/Tait12

• > Home > series/leus/Tait12

@incollection{DBLP:series/leus/Tait12,
  author       = {William W. Tait},
  editor       = {Peter Dybjer and
                  Sten Lindstr{\"{o}}m and
                  Erik Palmgren and
                  G{\"{o}}ran Sundholm},
  title        = {Primitive Recursive Arithmetic and Its Role in the Foundations of
                  Arithmetic: Historical and Philosophical Reflections},
  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        = {161--180},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-94-007-4435-6\_8},
  doi          = {10.1007/978-94-007-4435-6\_8},
  timestamp    = {Sun, 02 Jun 2019 20:42:14 +0200},
  biburl       = {https://dblp.org/rec/series/leus/Tait12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}