Arithmetic and the Theory of Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Maurice Boffa. Arithmetic and the Theory of Types. Journal of Symbolic Logic, 49(2):621-624, 1984.

@article{Boffa84,
  title = {Arithmetic and the Theory of Types},
  author = {Maurice Boffa},
  year = {1984},
  tags = {type theory},
  researchr = {https://researchr.org/publication/Boffa84},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {49},
  number = {2},
  pages = {621-624},
}

runs on WebDSL