SET(SRC
    connectives.c
    variables.c
    wffs.c
    wffs_pn.c
    wffs_std.c)
ADD_LIBRARY(logics ${SRC})
