A theory of restricted quantification I
From MaRDI portal
Publication:3249762
DOI10.2307/2964055zbMath0081.24502MaRDI QIDQ3249762
Publication date: 1957
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964055
Related Items
An order-sorted logic for knowledge representation systems, A resolution principle for constrained logics