Andres Kock (kock-a)

Beiträge zu Philosophie.ch

Bibliography

Kock, Andres and Reyes, Gonzalo E. 1977. “Doctrines in Categorical Logic.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 283–315. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.