Gábor Sági (sagi-ga)

Contributions to Philosophie.ch

Bibliography

Sági, Gábor. 2000. “A Completeness Theorem for Higher Order Logics.” The Journal of Symbolic Logic 65(2): 857–884.