The Consistency of Some 4-Stratified Subsystem of NF Including NF::3:: - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Maurice Boffa, Paolo Casalegno. The Consistency of Some 4-Stratified Subsystem of NF Including NF::3::. Journal of Symbolic Logic, 50(2):407-411, 1985.

@article{BoffaC85,
  title = {The Consistency of Some 4-Stratified Subsystem of NF Including NF::3::},
  author = {Maurice Boffa and Paolo Casalegno},
  year = {1985},
  tags = {consistency},
  researchr = {https://researchr.org/publication/BoffaC85},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {50},
  number = {2},
  pages = {407-411},
}

runs on WebDSL