Search Results for Mathematical logic. - Narrowed by: 2017 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092017$0025092017$0026te$003dILS$0026ps$003d300? 2026-01-22T19:02:07Z Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number&#160;BC 135 C323 1937 P (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Black, Max, 1909-<br/>Preferred Shelf Number&#160;QA 9 B62 1933 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The limits of science : outline of logic and of the methodology of the exact sciences ent://SD_ILS/0/SD_ILS:72557 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number&#160;QA 9 R23 1931<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number&#160;B 824.6 W434 1936 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> An introduction to proof through real analysis ent://SD_ILS/0/SD_ILS:593670 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Madden, Daniel J., 1948- author.&#160;Aubrey, Jason A., 1975- author.<br/>Preferred Shelf Number&#160;QA9.54 .M335 2017<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary computation with biogeography-based optimization ent://SD_ILS/0/SD_ILS:593309 2026-01-22T19:02:07Z 2026-01-22T19:02:07Z Author&#160;Ma, Haiping, author.&#160;Simon, Dan, 1960- author.<br/>Preferred Shelf Number&#160;QA76.618<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119136507">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119136507</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>