Search Results for Logic -- Textbooks.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002b--$002bTextbooks.$0026ic$003dtrue$0026ps$003d300?dt=list2026-01-14T13:53:34ZLogic works : a rigorous introduction to formal logicent://SD_ILS/0/SD_ILS:5681352026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Falkenstein, Lorne, author. Stapleford, Scott, author. Kao, Molly, 1986- author.<br/>Preferred Shelf Number BC108<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003026532">https://www.taylorfrancis.com/books/9781003026532</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and discrete mathematics : a concise introductionent://SD_ILS/0/SD_ILS:3740002026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Preferred Shelf Number QA9 C7423 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:3647202026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Mendelson, Elliott.<br/>Preferred Shelf Number QA9 M4 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to mathematical proofsent://SD_ILS/0/SD_ILS:5477402026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Roberts, Charles, author. Taylor and Francis.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Godel's way : exploits into an undecidable worldent://SD_ILS/0/SD_ILS:5405362026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.<br/>Preferred Shelf Number QA9.65 .C428 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781136587641">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital electronics and logic designent://SD_ILS/0/SD_ILS:3859682026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Nair, B. Somanathan.<br/>Preferred Shelf Number TK7868.D5 N35 2008<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Transition to higher mathematics : structure and proofent://SD_ILS/0/SD_ILS:1107852026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Dumas, Bob A. McCarthy, John E.<br/>Preferred Shelf Number QA9 .D863 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912026-01-14T13:53:34Z2026-01-14T13:53:34ZAuthor Rossi, Richard J., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>