Expedited Broda-Damas Bracket Abstraction

Martin W. Bunder. Expedited Broda-Damas Bracket Abstraction. Journal of Symbolic Logic, 65(4):1850-1857, 2000.

Abstract

Abstract is missing.