logici
Related entries include:
combinatory logic
;
compactness preserving
;