W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.
-
Published:1968-07-23
Issue:2
Volume:33
Page:289-290
-
ISSN:0022-4812
-
Container-title:Journal of Symbolic Logic
-
language:en
-
Short-container-title:J. symb. log.
Publisher
Cambridge University Press (CUP)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献