Implicational Logics in Natural Deduction Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

E. G. K. López-Escobar. Implicational Logics in Natural Deduction Systems. Journal of Symbolic Logic, 47(1):184-186, 1982.

@article{Lopez-Escobar82,
  title = {Implicational Logics in Natural Deduction Systems},
  author = {E. G. K. López-Escobar},
  year = {1982},
  tags = {e-science, logic},
  researchr = {https://researchr.org/publication/Lopez-Escobar82},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {47},
  number = {1},
  pages = {184-186},
}

runs on WebDSL