Skip to main navigation Skip to search Skip to main content

A proof of Sobocińsk’s conjecture concerning a certain set of lattice-theoretical formulas

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)615-616
Number of pages2
JournalNotre Dame Journal of Formal Logic
Volume17
Issue number4
DOIs
StatePublished - Oct 1976

ASJC Scopus Subject Areas

  • Logic

Cite this