Arama Sonuçları Mathematical logic. - Daraltılmış: Beytepe Kütüphanesi
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematical$002blogic.$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ABEYTEPE$002509Beytepe$002bK$0025C3$0025BCt$0025C3$0025BCphanesi$0026ps$003d300?dt=list
2025-03-26T01:55:12Z
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Mendelson, Elliott.<br/>Yer Numarası QA9 M4 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46048
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Mendelson, Elliott.<br/>Yer Numarası QA 9 M4 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A mathematical introduction to logic
ent://SD_ILS/0/SD_ILS:46041
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Enderton, Herbert B.<br/>Yer Numarası QA 9 E54 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A profile of mathematical logic
ent://SD_ILS/0/SD_ILS:46037
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar DeLong, Howard, 1936-<br/>Yer Numarası QA 9 B37 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
An introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46050
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Robinson, Gerson B., 1909-<br/>Yer Numarası QA 9 R72 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The development of mathematical logic
ent://SD_ILS/0/SD_ILS:774
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Nidditch, P. H.<br/>Yer Numarası BC 135 N5 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
The elements of mathematical logic
ent://SD_ILS/0/SD_ILS:776
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Rosenbloom, Paul C.<br/>Yer Numarası BC 135 R7236 1950<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
An Outline of mathematical logic : fundamental results and notions explained with all details
ent://SD_ILS/0/SD_ILS:751
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Grzegorczyk, Andrzej.<br/>Yer Numarası BC 131 G7 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The axiomatic method : an introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:23478
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Lightstone, A. H.<br/>Yer Numarası QA 248 L53 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics
ent://SD_ILS/0/SD_ILS:267321
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Kunen, Kenneth.<br/>Yer Numarası QA9 K796 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Set theory
ent://SD_ILS/0/SD_ILS:352659
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Kunen, Kenneth.<br/>Yer Numarası QA248 K858 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Liebeck, M. W. (Martin W.), 1954-<br/>Yer Numarası QA9 L478 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Formal logic, or, The calculus of inference, necessary and probable
ent://SD_ILS/0/SD_ILS:363957
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar De Morgan, Augustus, 1806-1871, author.<br/>Yer Numarası BC135 D4 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Cullinane, Michael J.<br/>Yer Numarası QA9 C84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
After Gödel : Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:371616
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Tieszen, Richard L., author.<br/>Yer Numarası QA9 T54 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Önermeler mantığı
ent://SD_ILS/0/SD_ILS:311337
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Nesin, Ali.<br/>Yer Numarası QA270 N476 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Rosen, Kenneth H. Krithivasan, Kamala.<br/>Yer Numarası QA39.3 R674 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:482602
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Wittgenstein, Ludwig. Aruoba, Oruç.<br/>Yer Numarası BC135 W5719 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Teaching mathematical reasoning in secondary school classrooms
ent://SD_ILS/0/SD_ILS:134611
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Brodie, Karin. Coetzee, Kurt.<br/>Yer Numarası QA8.7 B76 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Transition to higher mathematics : structure and proof
ent://SD_ILS/0/SD_ILS:110785
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Dumas, Bob A. McCarthy, John E.<br/>Yer Numarası QA9 .D863 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:110804
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Rosen, Kenneth H.<br/>Yer Numarası QA39.3 R674 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic and structure
ent://SD_ILS/0/SD_ILS:97566
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Dalen, D. van.<br/>Yer Numarası QA 9 D16 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Önermeler mantığı :
ent://SD_ILS/0/SD_ILS:101355
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Nesin, Ali.<br/>Yer Numarası QA 270 .N476 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Charles S. Peirce zur Einführung
ent://SD_ILS/0/SD_ILS:316592
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Pape, Helmut.<br/>Yer Numarası B945.P44 P347 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Sayısal devrelerde mantıksal tasarım
ent://SD_ILS/0/SD_ILS:124805
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Yarımağan, Ünal.<br/>Yer Numarası TK7888.4 Y37 2003<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Develerle eşekler :
ent://SD_ILS/0/SD_ILS:101352
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Nesin, Ali. Akgül, Tayfun, karikatür.<br/>Yer Numarası QA 270 .N474 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Sembolik mantık el kitabı
ent://SD_ILS/0/SD_ILS:88937
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Grünberg, Teo.<br/>Yer Numarası BC 135 G969 2000 V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Elements of the theory of computation
ent://SD_ILS/0/SD_ILS:124125
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Lewis, Harry R. Papadimitriou, Christos H.<br/>Yer Numarası QA267 .L49 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Ludwig Wittgenstein, Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:505238
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Aruoba, Oruç.<br/>Yer Numarası B3376.W563 T7319 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Aklın idaresi için kurallar
ent://SD_ILS/0/SD_ILS:393008
2025-03-26T01:55:12Z
2025-03-26T01:55:12Z
Yazar Descartes (Descartes, René) Karasan, Mehmet.<br/>Yer Numarası B1868 D445 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>