"development, especially researchers, graduate and senior undergraduate students in logic in all its forms," . . . .