A Paratheory of Type Theory

DOI10.1002/MALQ.19630091103MaRDI QIDQ3848986zbMATH OpenOpenAlexFDO

Authors Gerold Stahl

Publication date 1963

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19630091103

zbMATH Keywords

set theory

This page was built for publication: A Paratheory of Type Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3848986)