Search Results for Mathematical logic. - Narrowed by: Beytepe Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dLIBRARY$002509Library$0025091$00253ABEYTEPE$002509Beytepe$002bLibrary$0026ps$003d300?
2024-11-18T17:29:06Z
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA9 M4 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46048
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA 9 M4 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
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/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Preferred Shelf Number QA 9 M42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A mathematical introduction to logic
ent://SD_ILS/0/SD_ILS:46041
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Enderton, Herbert B.<br/>Preferred Shelf Number QA 9 E54 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A profile of mathematical logic
ent://SD_ILS/0/SD_ILS:46037
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author DeLong, Howard, 1936-<br/>Preferred Shelf Number QA 9 B37 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46050
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Robinson, Gerson B., 1909-<br/>Preferred Shelf Number QA 9 R72 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The development of mathematical logic
ent://SD_ILS/0/SD_ILS:774
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Nidditch, P. H.<br/>Preferred Shelf Number BC 135 N5 1962<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The elements of mathematical logic
ent://SD_ILS/0/SD_ILS:776
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Rosenbloom, Paul C.<br/>Preferred Shelf Number BC 135 R7236 1950<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An Outline of mathematical logic : fundamental results and notions explained with all details
ent://SD_ILS/0/SD_ILS:751
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Grzegorczyk, Andrzej.<br/>Preferred Shelf Number BC 131 G7 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The axiomatic method : an introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:23478
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Lightstone, A. H.<br/>Preferred Shelf Number QA 248 L53 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics
ent://SD_ILS/0/SD_ILS:267321
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Set theory
ent://SD_ILS/0/SD_ILS:352659
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Kunen, Kenneth.<br/>Preferred Shelf Number QA248 K858 2013<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-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-18T17:29:06Z
2024-11-18T17:29:06Z
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-18T17:29:06Z
2024-11-18T17:29:06Z
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-18T17:29:06Z
2024-11-18T17:29:06Z
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-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Liebeck, M. W. (Martin W.), 1954-<br/>Preferred Shelf Number QA9 L478 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author De Morgan, Augustus, 1806-1871, author.<br/>Preferred Shelf Number BC135 D4 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Rosen, Kenneth H. Krithivasan, Kamala.<br/>Preferred Shelf Number QA39.3 R674 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Önermeler mantığı
ent://SD_ILS/0/SD_ILS:311337
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Nesin, Ali.<br/>Preferred Shelf Number QA270 N476 2013<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
After Gödel : Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:371616
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Tieszen, Richard L., author.<br/>Preferred Shelf Number QA9 T54 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:482602
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Wittgenstein, Ludwig. Aruoba, Oruç.<br/>Preferred Shelf Number BC135 W5719 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Teaching mathematical reasoning in secondary school classrooms
ent://SD_ILS/0/SD_ILS:134611
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Rosen, Kenneth H.<br/>Preferred Shelf Number QA39.3 R674 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Önermeler mantığı :
ent://SD_ILS/0/SD_ILS:101355
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-18T17:29:06Z
2024-11-18T17:29:06Z
Author Dalen, D. van.<br/>Preferred Shelf Number QA 9 D16 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Charles S. Peirce zur Einführung
ent://SD_ILS/0/SD_ILS:316592
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Pape, Helmut.<br/>Preferred Shelf Number B945.P44 P347 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sayısal devrelerde mantıksal tasarım
ent://SD_ILS/0/SD_ILS:124805
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Yarımağan, Ünal.<br/>Preferred Shelf Number TK7888.4 Y37 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Develerle eşekler :
ent://SD_ILS/0/SD_ILS:101352
2024-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
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-11-18T17:29:06Z
2024-11-18T17:29:06Z
Author Descartes (Descartes, René) Karasan, Mehmet.<br/>Preferred Shelf Number B1868 D445 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>