Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Surma, Stanisŀaw
Szaniawski, Klemens
Drewnowski, Jan Franciszek
Koj, Leon
Giedymin, Jerzy
Kmita, Jerzy
and
Żarnecka-Biały, Ewa
1964.
Artykuł o treści logicznej zawartè w czasopismach nadesłanych do redakcji.
Studia Logica,
Vol. 15,
Issue. 1,
p.
311.
Stanley, Robert L.
1965.
Natural deduction, inference, and consistency.
Proceedings of the American Mathematical Society,
Vol. 16,
Issue. 3,
p.
367.
Tait, W. W.
1966.
A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic.
Bulletin of the American Mathematical Society,
Vol. 72,
Issue. 6,
p.
980.
PRAWITZ, DAG
1967.
Completeness and Hauptsatz for second order logic1.
Theoria,
Vol. 33,
Issue. 3,
p.
246.
Takahashi, Moto-o
1968.
Simple type theory of Gentzen style with the inference of extensionality.
Proceedings of the Japan Academy, Series A, Mathematical Sciences,
Vol. 44,
Issue. 2,
Diller, J.
1968.
Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966.
Vol. 50,
Issue. ,
p.
109.
Schütte, K.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
179.
Bibel, Wolfgang
1969.
Schnittelimination in einem Teilsystem der einfachen Typenlogik.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 12,
Issue. 3-4,
p.
159.
Leblanc, H.
and
Meyer, R. K.
1970.
Philosophical Problems in Logic.
p.
77.
Osswald, Horst
1972.
Vollständigkeit und Schnittelimination in der Intuitionistischen Typenlogik.
manuscripta mathematica,
Vol. 6,
Issue. 1,
p.
17.
1973.
Symbolic Logic and Mechanical Theorem Proving.
p.
309.
Bowen, Kenneth A.
1973.
Cut Elimination in Transfinite Type Theory.
Mathematical Logic Quarterly,
Vol. 19,
Issue. 8-10,
p.
141.
Leblanc, Hugues
and
Weaver, George
1973.
Truth, Syntax and Modality.
Vol. 68,
Issue. ,
p.
148.
Leblanc, Hugues
1973.
Truth, Syntax and Modality.
Vol. 68,
Issue. ,
p.
1.
Pohlers, Wolfram
1973.
Ein starker Normalisationssatz f�r die intuitionistische Typentheorie.
Manuscripta Mathematica,
Vol. 8,
Issue. 4,
p.
371.
Yasuhara, Mitsuru
1974.
Completeness of cut-free type theories.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 16,
Issue. 3-4,
p.
137.
Prawitz, Dag
1975.
⊨ISILC Proof Theory Symposion.
Vol. 500,
Issue. ,
p.
290.
Marciszewski, W.
1981.
Dictionary of Logic as Applied in the Study of Language.
p.
325.
Leblanc, Hugues
1983.
Handbook of Philosophical Logic.
p.
189.
Robinson, J. A.
1983.
Automation of Reasoning.
p.
152.