APA Citation

Setzer, A. (2008). Proof theory and Martin-Löf Type Theory. One Hundred Years of Intuitionism (1907–2007), pp. 257-279. doi:10.1007/978-3-7643-8653-5_16

Chicago Style Citation

Setzer, Anton. "Proof Theory and Martin-Löf Type Theory." One Hundred Years of Intuitionism (1907–2007) 2008: 257-279.

MLA Citation

Setzer, Anton. "Proof Theory and Martin-Löf Type Theory." One Hundred Years of Intuitionism (1907–2007) 2008: 257-279.

Warning: These citations may not always be 100% accurate.