Source : Free On-Line Dictionary of Computing

LCF
     
        {Logic for Computable Functions}