Search Results for Mathematical logic. - Narrowed by: 2004 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092004$0025092004$0026te$003dILS$0026ps$003d300? 2024-11-10T23:12:06Z Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z 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/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z 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/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z 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/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z 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 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z 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 logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z 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/> Linear Logic in Computer Science ent://SD_ILS/0/SD_ILS:237736 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z Author&#160;Ehrhard, Thomas.&#160;Girard, Jean-Yves.&#160;Ruet, Paul.&#160;Scott, Philip.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Charles S. Peirce zur Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:316592 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z Author&#160;Pape, Helmut.<br/>Preferred Shelf Number&#160;B945.P44 P347 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> &Ouml;nermeler mant&#305;&#287;&#305; : ent://SD_ILS/0/SD_ILS:101355 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z Author&#160;Nesin, Ali.<br/>Preferred Shelf Number&#160;QA 270 .N476 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic and structure ent://SD_ILS/0/SD_ILS:97566 2024-11-10T23:12:06Z 2024-11-10T23:12:06Z Author&#160;Dalen, D. van.<br/>Preferred Shelf Number&#160;QA 9 D16 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>