Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Dzierzgowski, Daniel
1992.
Intuitionistic typical ambiguity.
Archive for Mathematical Logic,
Vol. 31,
Issue. 3,
p.
171.
Forster, Thomas
1994.
Higher Order Logic Theorem Proving and Its Applications.
Vol. 859,
Issue. ,
p.
193.
Rouvelas, Panagiotis
2017.
Decreasing sentences in Simple Type Theory.
Mathematical Logic Quarterly,
Vol. 63,
Issue. 5,
p.
342.
Rouvelas, Panagiotis
2017.
Increasing sentences in Simple Type Theory.
Annals of Pure and Applied Logic,
Vol. 168,
Issue. 10,
p.
1902.