TY - JOUR
T1 - A proof of Sobocińsk’s conjecture concerning a certain set of lattice-theoretical formulas
AU - Sudkamp, Thomas A.
PY - 1976/10
Y1 - 1976/10
UR - http://www.scopus.com/inward/record.url?scp=84972499954&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84972499954&partnerID=8YFLogxK
UR - https://corescholar.libraries.wright.edu/cse/418
UR - https://projecteuclid.org/download/pdf_1/euclid.ndjfl/1093887731
U2 - 10.1305/ndjfl/1093887731
DO - 10.1305/ndjfl/1093887731
M3 - Article
AN - SCOPUS:84972499954
SN - 0029-4527
VL - 17
SP - 615
EP - 616
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 4
ER -