Translator Disclaimer
April 1987 Decision procedure for a class of $(L_{\omega_1\omega})_t$-types of $T_3$ spaces.
Juan Carlos Martínez
Notre Dame J. Formal Logic 28(2): 284-290 (April 1987). DOI: 10.1305/ndjfl/1093636945
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
7 PAGES


SHARE
Vol.28 • No. 2 • April 1987
Back to Top