Search Results for Proof theory.SirsiDynix Enterprisehttps://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dProof$002btheory.$0026pe$003dd$00253A$0026ps$003d300?dt=list2025-10-14T20:46:55ZWhat logics mean : from proof theory to model-theoretic semanticsent://SD_ILS/0/SD_ILS:517522025-10-14T20:46:55Z2025-10-14T20:46:55Zby Garson, James W., 1943- author.<br/>Format: Books<br/>Publication Date 2013<br/>Why is there philosophy of mathematics at all?ent://SD_ILS/0/SD_ILS:543222025-10-14T20:46:55Z2025-10-14T20:46:55Zby Hacking, Ian, author.<br/>Format: Books<br/>Publication Date 2014<br/>Statistical theory : a concise introductionent://SD_ILS/0/SD_ILS:510532025-10-14T20:46:55Z2025-10-14T20:46:55Zby Abramovich, Felix.<br/>Cover image <a href="http://images.tandf.co.uk/common/jackets/websmall/978143985/9781439851845.jpg">http://images.tandf.co.uk/common/jackets/websmall/978143985/9781439851845.jpg</a><br/>Format: Books<br/>Publication Date 2013<br/>The existence of God : a philosophical introductionent://SD_ILS/0/SD_ILS:489372025-10-14T20:46:55Z2025-10-14T20:46:55Zby Nagasawa, Yujin.<br/>Format: Books<br/>Publication Date 2011<br/>Environmental law and sustainability after Rioent://SD_ILS/0/SD_ILS:481682025-10-14T20:46:55Z2025-10-14T20:46:55Zby Benidickson, Jamie.<br/>Format: Books<br/>Publication Date 2011<br/>Computable economicsent://SD_ILS/0/SD_ILS:489292025-10-14T20:46:55Z2025-10-14T20:46:55Zby Velupillai, Kumaraswamy, 1947-<br/>Format: Books<br/>Publication Date 2011<br/>Reason and responsibility : readings in some basic problems of philosophyent://SD_ILS/0/SD_ILS:308312025-10-14T20:46:55Z2025-10-14T20:46:55Zby Feinberg, Joel, 1926-<br/>Format: Books<br/>Publication Date 2005<br/>The B-method : an introductionent://SD_ILS/0/SD_ILS:354782025-10-14T20:46:55Z2025-10-14T20:46:55Zby Schneider, S. A. (Steve A.)<br/>Format: Books<br/>Publication Date 2001<br/>