Search Results for Logic, Symbolic and mathematical. - Narrowed by: Book
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AKITAP$002509Book$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2024-05-25T17:27:10Z
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
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 limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
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/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
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-05-25T17:27:10Z
2024-05-25T17:27:10Z
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-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Liebeck, M. W. (Martin W.), 1954-<br/>Preferred Shelf Number QA9 L478 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA9 M4 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Preferred Shelf Number QA9 C7423 2015<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-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author De Morgan, Augustus, 1806-1871, author.<br/>Preferred Shelf Number BC135 D4 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Önermeler mantığı
ent://SD_ILS/0/SD_ILS:311337
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Nesin, Ali.<br/>Preferred Shelf Number QA270 N476 2013<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Cullinane, Michael J.<br/>Preferred Shelf Number QA9 C84 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Rosen, Kenneth H. Krithivasan, Kamala.<br/>Preferred Shelf Number QA39.3 R674 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
After Gödel : Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:371616
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Tieszen, Richard L., author.<br/>Preferred Shelf Number QA9 T54 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics
ent://SD_ILS/0/SD_ILS:267321
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Teaching mathematical reasoning in secondary school classrooms
ent://SD_ILS/0/SD_ILS:134611
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Brodie, Karin. Coetzee, Kurt.<br/>Preferred Shelf Number QA8.7 B76 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Hein, James L.<br/>Preferred Shelf Number QA76.9.M35 H44 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Transition to higher mathematics : structure and proof
ent://SD_ILS/0/SD_ILS:110785
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Dumas, Bob A. McCarthy, John E.<br/>Preferred Shelf Number QA9 .D863 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:110804
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Rosen, Kenneth H.<br/>Preferred Shelf Number QA39.3 R674 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Charles S. Peirce zur Einführung
ent://SD_ILS/0/SD_ILS:316592
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Pape, Helmut.<br/>Preferred Shelf Number B945.P44 P347 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Önermeler mantığı :
ent://SD_ILS/0/SD_ILS:101355
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
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-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Dalen, D. van.<br/>Preferred Shelf Number QA 9 D16 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Develerle eşekler :
ent://SD_ILS/0/SD_ILS:101352
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Nesin, Ali. Akgül, Tayfun, karikatür.<br/>Preferred Shelf Number QA 270 .N474 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sembolik mantık el kitabı
ent://SD_ILS/0/SD_ILS:88937
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Grünberg, Teo.<br/>Preferred Shelf Number BC 135 G969 2000 V.2<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Elements of the theory of computation
ent://SD_ILS/0/SD_ILS:124125
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Lewis, Harry R. Papadimitriou, Christos H.<br/>Preferred Shelf Number QA267 .L49 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Ludwig Wittgenstein, Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:505238
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Aruoba, Oruç.<br/>Preferred Shelf Number B3376.W563 T7319 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Aklın idaresi için kurallar
ent://SD_ILS/0/SD_ILS:393008
2024-05-25T17:27:10Z
2024-05-25T17:27:10Z
Author Descartes (Descartes, René) Karasan, Mehmet.<br/>Preferred Shelf Number B1868 D445 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>