Search Results for MIT Press, - Narrowed by: Friedman, Daniel P., author. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dMIT$002bPress$00252C$0026qf$003dAUTHOR$002509Yazar$002509Friedman$00252C$002bDaniel$002bP.$00252C$002bauthor.$002509Friedman$00252C$002bDaniel$002bP.$00252C$002bauthor.$0026ps$003d300$0026isd$003dtrue? 2024-09-06T02:02:53Z The little prover ent://SD_ILS/0/SD_ILS:14950 2024-09-06T02:02:53Z 2024-09-06T02:02:53Z Yazar&#160;Friedman, Daniel P., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537</a><br/>Format:&#160;Electronic Resources<br/> The reasoned schemer ent://SD_ILS/0/SD_ILS:14436 2024-09-06T02:02:53Z 2024-09-06T02:02:53Z Yazar&#160;Friedman, Daniel P., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267263">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267263</a><br/>Format:&#160;Electronic Resources<br/>