![]() | ![]() |
1993 | ||
---|---|---|
3 | Douglas R. Busch: An Expressive Three-valued Logic with Two Negations. ISMIS 1993: 29-38 | |
2 | Douglas R. Busch: A Sequent Axiomatization of Three-valued Logic with Two Negations. LPNMR 1993: 476-494 | |
1976 | ||
1 | Douglas R. Busch: lambda-Scales, kappa-Souslin Sets and a New Definition of Analytic Sets. J. Symb. Log. 41(2): 373-378 (1976) |