Languages
Rose, Harvey Ernest.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Logic colloquium '73 = proceedings of the Logic Colloquium, Bristol, July 1973 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Association for Symbolic Logic.; Rose, Harvey Ernest.; Shepherdson, J. C.
(Language materials, printed)
Subjects