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$0026ps$003d300?
2024-11-18T18:17:45Z
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<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-18T18:17:45Z
2024-11-18T18:17:45Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Önermeler mantığı :
ent://SD_ILS/0/SD_ILS:101355
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Nesin, Ali.<br/>Preferred Shelf Number QA 270 .N476 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and structure
ent://SD_ILS/0/SD_ILS:97566
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Dalen, D. van.<br/>Preferred Shelf Number QA 9 D16 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Linear Logic in Computer Science
ent://SD_ILS/0/SD_ILS:237736
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Charles S. Peirce zur Einführung
ent://SD_ILS/0/SD_ILS:316592
2024-11-18T18:17:45Z
2024-11-18T18:17:45Z
Author Pape, Helmut.<br/>Preferred Shelf Number B945.P44 P347 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>