The completeness theorem for infinitary logic
From MaRDI portal
Publication:5655345
DOI10.2307/2272542zbMath0244.02005MaRDI QIDQ5655345
Publication date: 1972
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272542
Related Items
Topos Theory in Montréal in the 1970s: My Personal Involvement, Boolean valued semantics for infinitary logics, Forcing revisited, Unnamed Item
Cites Work