Article,

Consequences, consistency, and independence in Boolean algebras.

, and .
Notre Dame J. Formal Log., 22 (1): 45-62 (1981)

Meta data

Tags

Users

  • @dblp

Comments and Reviews