Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Wang, Hao
1959.
Computer Programming and Formal Systems.
Vol. 26,
Issue. ,
p.
1.
Wang, Hao
1960.
Computation, Logic, Philosophy.
p.
76.
Wang, H.
1960.
Automation of Reasoning.
p.
229.
Wang, Hao
1961.
Proving Theorems by Pattern Recognition - II.
Bell System Technical Journal,
Vol. 40,
Issue. 1,
p.
1.
Wang, Hao
1961.
Computation, Logic, Philosophy.
p.
159.
Wang, Hao
1963.
Computation, Logic, Philosophy.
p.
103.
Wang, Hao
1963.
Computer Programming and Formal Systems.
Vol. 35,
Issue. ,
p.
1.
Veenker, G.
1967.
Beweisalgorithmen für die Prädikatenlogik.
Computing,
Vol. 2,
Issue. 3,
p.
263.
Suber, Peter
1987.
Self-Reference.
Vol. 21,
Issue. ,
p.
259.
Updike, Eric T.
2019.
Is Objectual Identity Really Dispensable?.
Erkenntnis,
Vol. 84,
Issue. 4,
p.
761.
Penchev, Vasil
2022.
Gentzen’s ‘Cut Rule’ and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally.
SSRN Electronic Journal,