An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu, Sergio Galvan, Richard Zach
Discover references
Paolo Mancosu, Sergio Galvan, Richard Zach
Tayo Koleoso
Muhammad Vandestra & Dragon Promedia Studio
Phani Raj, Vinod Jaiswal
Chung, Jean K.; Nocka, Laura M.; Decker, Aubrianna; Wang, Qi; Kadlecek, Theresa A.; Weiss, Arthur; Kuriyan, John;[...]Groves, Jay T.
E. Mignot, C. Wang, C. Rattazzi, C. Gaiser, M. Lovett, C. Guilleminault, W. C. Dement and F. C. Grumet
William R. Shadish, Thomas D. Cook, Donald Thomas Campbell
Steven Johnson
Saha, Sourav; Gan, Zhengtao; Cheng, Lin; Gao, Jiaying; Kafka, Orion L.; Xie, Xiaoyu; Li, Hengyang; Tajdari, Mahsa;[...]Kim, H. Alicia; Liu, Wing Kam
Yen-Ru Lin; Mei-Hsuen Wu; Cheng-I Yang; Tsai-Hwei Chen; Chen-Chuan Hsu; Yue-Cune Chang; Wen-Chii Tzeng;[...]Yuan-Hwa Chou; Kuei-Ru Chou
Bette Ann Stead and Richard W. Scamell
Benjamin Van Vliet
Vasudevan, Jaya (author);Skandhan, Amith (author);Skandhan, Avni K.P. (author);Balakrishnan, Sumangala (author);[...]Skandhand, Kalangot P. (author)
Rydzanicz, R.; Zhao, X. S.; Johnson, P. E.
Masafumi Koga; Jun Murai; Hiroshi Saito; Keiko Aoki; Hideo Kanehara; Yukihiro Bando; Shinya Morita; Soji Kasayma
Lillian Comas-Diaz; Joan W. Duncan
Migone, N.; Feder, J.; Cann, H.; van West, B.; Hwang, J.; Takahashi, N.; Honjo, T.; Piazza, A.; Cavalli-Sforza, L. L.
Kavalski, Emilian
Anthony Kenny
Burleson, Donald R.;Lovecraft, Howard Phillips
Mike Biere
Patel, Dev; Cohen, Elan D.; Barnato, Amber E.
P.G Dodds; T.K Dodds; B de Pagter; F.A Sukochev
Hubbell, S. P.; He, F.; Condit, R.; Borda-de-Agua, L.; Kellner, J.; ter Steege, H.