Search Results for Mathematical logic. - Narrowed by: 2010 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026ic$003dtrue$0026ps$003d300? 2024-11-05T22:04:04Z Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Mathematical Logic Foundations for Information Science ent://SD_ILS/0/SD_ILS:198215 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Li, Wei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Mathematical Logic ent://SD_ILS/0/SD_ILS:172186 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Rautenberg, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Course in Mathematical Logic for Mathematicians ent://SD_ILS/0/SD_ILS:172015 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Manin, Yu. I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 ent://SD_ILS/0/SD_ILS:231522 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Mancosu, Paolo.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number&#160;QA 9 R23 1931<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Black, Max, 1909-<br/>Preferred Shelf Number&#160;QA 9 B62 1933 (SET)<br/>Format:&#160;Books<br/>Availability&#160;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-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number&#160;BC 135 C323 1937 P (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number&#160;B 824.6 W434 1936 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Kurt G&ouml;del Essays for his Centennial ent://SD_ILS/0/SD_ILS:236216 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Feferman, Solomon.&#160;Parsons, Charles.&#160;Simpson, Stephen G..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematische Logik ent://SD_ILS/0/SD_ILS:176698 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Ziegler, Martin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson ent://SD_ILS/0/SD_ILS:166574 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Chudnovsky, David. editor.&#160;Chudnovsky, Gregory. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68361-4">http://dx.doi.org/10.1007/978-0-387-68361-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Set Theory ent://SD_ILS/0/SD_ILS:169590 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Foreman, Matthew. editor.&#160;Kanamori, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia ent://SD_ILS/0/SD_ILS:188417 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Zermelo, Ernst. author.&#160;Ebbinghaus, Heinz-Dieter. editor.&#160;Fraser, Craig G. editor.&#160;Kanamori, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Banach Spaces and Descriptive Set Theory: Selected Topics ent://SD_ILS/0/SD_ILS:191905 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Dodos, Pandelis. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12153-1">http://dx.doi.org/10.1007/978-3-642-12153-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Tools for Handling Change in Agent-Based Systems ent://SD_ILS/0/SD_ILS:190937 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Philosophy of Mathematics in the Early Husserl ent://SD_ILS/0/SD_ILS:205021 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Centrone, Stefania. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The P=NP Question and G&ouml;del&rsquo;s Lost Letter ent://SD_ILS/0/SD_ILS:172787 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Lipton, Richard J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cardinal Invariants on Boolean Algebras ent://SD_ILS/0/SD_ILS:176670 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Monk, J. Donald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Reasoning A Formal Approach ent://SD_ILS/0/SD_ILS:185626 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Gergely, Tam&aacute;s. author.&#160;Anshakov, Oleg M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Einf&uuml;hrung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo ent://SD_ILS/0/SD_ILS:189998 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Deiser, Oliver. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Deduction, Hybrid Systems and Modal Logics ent://SD_ILS/0/SD_ILS:205315 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Indrzejczak, Andrzej. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Framework for Priority Arguments ent://SD_ILS/0/SD_ILS:236766 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Lerman, Manuel.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium 2007 ent://SD_ILS/0/SD_ILS:236783 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Delon, Fran&ccedil;oise.&#160;Kohlenbach, Ulrich.&#160;Maddy, Penelope.&#160;Stephan, Frank.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Propositions, functions, and analysis selected essays on Russell's philosophy ent://SD_ILS/0/SD_ILS:231578 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Hylton, Peter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth through proof a formalist foundation for mathematics ent://SD_ILS/0/SD_ILS:233257 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Weir, Alan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Proof Complexity ent://SD_ILS/0/SD_ILS:237834 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Cook, Stephen.&#160;Nguyen, Phuong.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teaching mathematical reasoning in secondary school classrooms ent://SD_ILS/0/SD_ILS:134611 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Brodie, Karin.&#160;Coetzee, Kurt.<br/>Preferred Shelf Number&#160;QA8.7 B76 2010<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical reasoning patterns, problems, conjectures, and proofs ent://SD_ILS/0/SD_ILS:265616 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Nickerson, Raymond S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete structures, logic, and computability ent://SD_ILS/0/SD_ILS:268313 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Hein, James L.<br/>Preferred Shelf Number&#160;QA76.9.M35 H44 2010<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Roads to infinity the mathematics of truth and proof ent://SD_ILS/0/SD_ILS:289852 2024-11-05T22:04:04Z 2024-11-05T22:04:04Z Author&#160;Stillwell, John.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>