Second-Order Languages and Mathematical Practice - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stewart Shapiro. Second-Order Languages and Mathematical Practice. Journal of Symbolic Logic, 50(3):714-742, 1985.

@article{Shapiro85-0,
  title = {Second-Order Languages and Mathematical Practice},
  author = {Stewart Shapiro},
  year = {1985},
  researchr = {https://researchr.org/publication/Shapiro85-0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {50},
  number = {3},
  pages = {714-742},
}

runs on WebDSL