Recall that the top-level form :logic is equivalent to (logic);
see keyword-commands. Thus, to change the default defun-mode
to :logic in a book, use (logic), which is an embedded event
form, rather than :logic, which is not a legal form for books.
See embedded-event-form.