Ganesh Ramanarayanan (ramanarayanan)

Beiträge zu Philosophie.ch

Bibliography

Kozen, Dexter C. and Ramanarayanan, Ganesh. 2011. “Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management.” in Games, Norms and Reasons. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Eric Pacuit, pp. 151–162. Synthese Library n. 353. Dordrecht: Springer.