Search Results for Proof theory. SirsiDynix Enterprise https://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dProof$002btheory.$0026dt$003dlist$0026ps$003d300?dt=list 2025-05-07T14:13:01Z What logics mean : from proof theory to model-theoretic semantics ent://SD_ILS/0/SD_ILS:51752 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Garson, James W., 1943- author.<br/>Format:&#160;Books<br/>Publication Date&#160;2013<br/> Why is there philosophy of mathematics at all? ent://SD_ILS/0/SD_ILS:54322 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Hacking, Ian, author.<br/>Format:&#160;Books<br/>Publication Date&#160;2014<br/> Statistical theory : a concise introduction ent://SD_ILS/0/SD_ILS:51053 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;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:&#160;Books<br/>Publication Date&#160;2013<br/> The existence of God : a philosophical introduction ent://SD_ILS/0/SD_ILS:48937 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Nagasawa, Yujin.<br/>Format:&#160;Books<br/>Publication Date&#160;2011<br/> Computable economics ent://SD_ILS/0/SD_ILS:48929 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Velupillai, Kumaraswamy, 1947-<br/>Format:&#160;Books<br/>Publication Date&#160;2011<br/> Discrete mathematics with applications ent://SD_ILS/0/SD_ILS:17840 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Epp, Susanna S.<br/>Format:&#160;Books<br/>Publication Date&#160;2011<br/> Environmental law and sustainability after Rio ent://SD_ILS/0/SD_ILS:48168 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Benidickson, Jamie.<br/>Format:&#160;Books<br/>Publication Date&#160;2011<br/> Reason and responsibility : readings in some basic problems of philosophy ent://SD_ILS/0/SD_ILS:30831 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Feinberg, Joel, 1926-<br/>Format:&#160;Books<br/>Publication Date&#160;2005<br/> The B-method : an introduction ent://SD_ILS/0/SD_ILS:35478 2025-05-07T14:13:01Z 2025-05-07T14:13:01Z by&#160;Schneider, S. A. (Steve A.)<br/>Format:&#160;Books<br/>Publication Date&#160;2001<br/>