On the Rules of Proof in the Pure Functional Calculus of the First Order - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrzej Mostowski. On the Rules of Proof in the Pure Functional Calculus of the First Order. Journal of Symbolic Logic, 16(2):107-111, 1951.

@article{Mostowski51,
  title = {On the Rules of Proof in the Pure Functional Calculus of the First Order},
  author = {Andrzej Mostowski},
  year = {1951},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/Mostowski51},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {16},
  number = {2},
  pages = {107-111},
}

runs on WebDSL