Comparing type theory and set theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

John Lake. Comparing type theory and set theory. Math. Log. Q., 21(1):355-356, 1975. [doi]

@article{Lake75a,
  title = {Comparing type theory and set theory},
  author = {John Lake},
  year = {1975},
  doi = {10.1002/malq.19750210144},
  url = {http://dx.doi.org/10.1002/malq.19750210144},
  researchr = {https://researchr.org/publication/Lake75a},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {21},
  number = {1},
  pages = {355-356},
}

runs on WebDSL