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

From MaRDI portal
Publication:5596744

DOI10.1090/S0002-9904-1966-11611-7zbMath0199.00801MaRDI QIDQ5596744

William W. Tait

Publication date: 1966

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)




Related Items



Cites Work