Cristina Corredor Lanas

Bibliography

Corredor-Lanas, Cristina. 1990. “Interpolation for Church’s Pure Functional Calculus of Second Order under Secondary Interpretations.” Logique et Analyse 33(129–130): 69–74.