Search Results for Language and logic. - Narrowed by: Proof theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguage$002band$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Proof$002btheory.$002509Proof$002btheory.$0026ps$003d300? 2025-12-12T11:58:56Z Handbook of Mathematical Induction : Theory and Applications ent://SD_ILS/0/SD_ILS:544049 2025-12-12T11:58:56Z 2025-12-12T11:58:56Z Author&#160;Gunderson, David S., author.<br/>Preferred Shelf Number&#160;QA9.54 G863 2014<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Introduction to mathematical proofs ent://SD_ILS/0/SD_ILS:547740 2025-12-12T11:58:56Z 2025-12-12T11:58:56Z Author&#160;Roberts, Charles, author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;QA9.54<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>