Arama Sonu&ccedil;lar&#305; Logic, Symbolic and mathematical. - Daralt&#305;lm&#305;&#351;: 2000 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092000$0025092000$0026ic$003dtrue$0026ps$003d300? 2024-11-09T04:50:23Z The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Yer Numaras&#305;&#160;QA 9 R23 1931<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The limits of science : outline of logic and of the methodology of the exact sciences ent://SD_ILS/0/SD_ILS:72557 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Yer Numaras&#305;&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numaras&#305;&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Sembolik mant&#305;k el kitab&#305; ent://SD_ILS/0/SD_ILS:88937 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Gr&uuml;nberg, Teo.<br/>Yer Numaras&#305;&#160;BC 135 G969 2000 V.2<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Between Logic and Intuition Essays in Honor of Charles Parsons ent://SD_ILS/0/SD_ILS:235087 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Sher, Gila.&#160;Tieszen, Richard.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511570681">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The logic of knowledge bases ent://SD_ILS/0/SD_ILS:219965 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Levesque, Hector J., 1951-&#160;Lakemeyer, Gerhard.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From Peirce to Skolem a neglected chapter in the history of logic ent://SD_ILS/0/SD_ILS:256562 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Brady, Geraldine.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic-based methods for optimization combining optimization and constraint satisfaction ent://SD_ILS/0/SD_ILS:300296 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Hooker, John, 1949-&#160;Wiley InterScience (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033036">An electronic book accessible through the World Wide Web; click for information</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/99088732.html">http://catdir.loc.gov/catdir/bios/wiley043/99088732.html</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Learning to reason an introduction to logic, sets and relations ent://SD_ILS/0/SD_ILS:300357 2024-11-09T04:50:23Z 2024-11-09T04:50:23Z Yazar&#160;Rodgers, Nancy, 1941-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118165690">An electronic book accessible through the World Wide Web; click for information</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818931">Click here to view book</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/00023492.html">http://catdir.loc.gov/catdir/bios/wiley043/00023492.html</a> ebrary <a href="http://site.ebrary.com/id/10500922">http://site.ebrary.com/id/10500922</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10500922">http://site.ebrary.com/lib/alltitles/Doc?id=10500922</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>