Hauptsatz for higher order logic

DOI10.2307/2270331zbMath0164.31002OpenAlexW1985234321MaRDI QIDQ5549033

Could not fetch data.

Publication date: 1968

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270331

zbMATH Keywords

Could not fetch data.