TY - GEN AU - Primas,H TI - Theory reduction and non-Boolean theories SN - 0303-6812 PY - 1977///1020 KW - Biology KW - Logic KW - Philosophy N1 - Publication Type: Journal Article UR - https://doi.org/10.1007/BF00280978 ER -