A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic

DOI PDF PDF 被引用文献3件

W. W. Tait

書誌事項

公開日: 1966

DOI

10.1090/s0002-9904-1966-11611-7

公開者: American Mathematical Society (AMS)

この論文をさがす

CiNii Books

収録刊行物

Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society 72 (6), 980-983, 1966

American Mathematical Society (AMS)

被引用文献 (3)*注記

もっと見る

詳細情報詳細情報について

CRID

1362544419272018944
DOI

10.1090/s0002-9904-1966-11611-7
ISSN

10889485

02730979
Web Site

http://www.ams.org/bull/1966-72-06/S0002-9904-1966-11611-7/S0002-9904-1966-11611-7.pdf

https://www.ams.org/bull/1966-72-06/S0002-9904-1966-11611-7/S0002-9904-1966-11611-7.pdf
データソース種別
- Crossref

書き出し

問題の指摘

ページトップへ