Arama Sonuçları Logic -- Textbooks.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002b--$002bTextbooks.$0026ps$003d300?dt=list2026-01-14T22:10:14ZLogic works : a rigorous introduction to formal logicent://SD_ILS/0/SD_ILS:5681352026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Falkenstein, Lorne, author. Stapleford, Scott, author. Kao, Molly, 1986- author.<br/>Yer Numarası BC108<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:3647202026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Mendelson, Elliott.<br/>Yer Numarası QA9 M4 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and discrete mathematics : a concise introductionent://SD_ILS/0/SD_ILS:3740002026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to mathematical proofsent://SD_ILS/0/SD_ILS:5477402026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Roberts, Charles, author. Taylor and Francis.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Godel's way : exploits into an undecidable worldent://SD_ILS/0/SD_ILS:5405362026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.<br/>Yer Numarası QA9.65 .C428 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781136587641">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital electronics and logic designent://SD_ILS/0/SD_ILS:3859682026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Nair, B. Somanathan.<br/>Yer Numarası TK7868.D5 N35 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transition to higher mathematics : structure and proofent://SD_ILS/0/SD_ILS:1107852026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Dumas, Bob A. McCarthy, John E.<br/>Yer Numarası QA9 .D863 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912026-01-14T22:10:14Z2026-01-14T22:10:14ZYazar Rossi, Richard J., 1956-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>