Search Results for Logic, Symbolic and mathematical. - Narrowed by: 2014
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-12-27T10:06:19Z
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-12-27T10:06:19Z
2024-12-27T10:06:19Z
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 foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-12-27T10:06:19Z
2024-12-27T10:06:19Z
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-12-27T10:06:19Z
2024-12-27T10:06:19Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability 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-12-27T10:06:19Z
2024-12-27T10:06:19Z
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 logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-12-27T10:06:19Z
2024-12-27T10:06:19Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-12-27T10:06:19Z
2024-12-27T10:06:19Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal logic, or, The calculus of inference, necessary and probable
ent://SD_ILS/0/SD_ILS:363957
2024-12-27T10:06:19Z
2024-12-27T10:06:19Z
Author De Morgan, Augustus, 1806-1871, author.<br/>Preferred Shelf Number BC135 D4 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Commonsense reasoning an event calculus-based approach
ent://SD_ILS/0/SD_ILS:355437
2024-12-27T10:06:19Z
2024-12-27T10:06:19Z
Author Mueller, Erik T., author.<br/>Preferred Shelf Number ONLINE(355437.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>