On the Consistency of an Impredicative Subsystem of Quine s NF - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Marcel Crabbé. On the Consistency of an Impredicative Subsystem of Quine s NF. Journal of Symbolic Logic, 47(1):131-136, 1982.

@article{Crabbe82,
  title = {On the Consistency of an Impredicative Subsystem of Quine s NF},
  author = {Marcel Crabbé},
  year = {1982},
  tags = {consistency},
  researchr = {https://researchr.org/publication/Crabbe82},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {47},
  number = {1},
  pages = {131-136},
}

runs on WebDSL