An Intuitionistic Predicate Logic Theorem Prover

@article{Sahlin1992AnIP,
  title={An Intuitionistic Predicate Logic Theorem Prover},
  author={Dan Sahlin and Torkel Franz{\'e}n and Seif Haridi},
  journal={J. Log. Comput.},
  year={1992},
  volume={2},
  pages={619-656}
}
Highly Cited
This paper has 56 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…