Search Results for Mathematical logic. - Narrowed by: 2007SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-24T14:45:14ZMathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor 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 Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1667112024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69245-6">http://dx.doi.org/10.1007/978-0-387-69245-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor 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 languageent://SD_ILS/0/SD_ILS:725092024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor 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 surveyent://SD_ILS/0/SD_ILS:725422024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor 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 sciencesent://SD_ILS/0/SD_ILS:725572024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor 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/>Transition to higher mathematics : structure and proofent://SD_ILS/0/SD_ILS:1107852024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor 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 applicationsent://SD_ILS/0/SD_ILS:1108042024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Rosen, Kenneth H.<br/>Preferred Shelf Number QA39.3 R674 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Arché Papers on the Mathematics of Abstractionent://SD_ILS/0/SD_ILS:1522542024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Cook, Roy T. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4265-2">http://dx.doi.org/10.1007/978-1-4020-4265-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Educationent://SD_ILS/0/SD_ILS:1523412024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5034-8">http://dx.doi.org/10.1007/1-4020-5034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">http://dx.doi.org/10.1007/978-1-4020-5587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Passione per Trilli Alcune idee dalla matematicaent://SD_ILS/0/SD_ILS:1526312024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Lucchetti, Roberto. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0629-4">http://dx.doi.org/10.1007/978-88-470-0629-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:1661152024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-35651-8">http://dx.doi.org/10.1007/978-0-387-35651-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Number Theory An Introduction via the Distribution of Primesent://SD_ILS/0/SD_ILS:1681862024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4541-0">http://dx.doi.org/10.1007/978-0-8176-4541-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Legacy of Mario Pieri in Geometry and Arithmeticent://SD_ILS/0/SD_ILS:1682182024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4603-5">http://dx.doi.org/10.1007/978-0-8176-4603-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Strength of Nonstandard Analysisent://SD_ILS/0/SD_ILS:1769662024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-49905-4">http://dx.doi.org/10.1007/978-3-211-49905-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Kolmogorov’s Heritage in Mathematicsent://SD_ILS/0/SD_ILS:1843742024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36351-4">http://dx.doi.org/10.1007/978-3-540-36351-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:1852262024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brouwer Meets Husserl On the Phenomenology of Choice Sequencesent://SD_ILS/0/SD_ILS:1523492024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Atten, Mark. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5087-9">http://dx.doi.org/10.1007/978-1-4020-5087-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>104 Number Theory Problems From the Training of the USA IMO Teament://SD_ILS/0/SD_ILS:1681992024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4561-8">http://dx.doi.org/10.1007/978-0-8176-4561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner’s Guide to Graph Theoryent://SD_ILS/0/SD_ILS:1682082024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Wallis, W. D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4580-9">http://dx.doi.org/10.1007/978-0-8176-4580-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1848422024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-45388-8">http://dx.doi.org/10.1007/978-3-540-45388-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:1855932024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866382024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866522024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873062024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1980472024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of dynamic system modelingent://SD_ILS/0/SD_ILS:2865752024-11-24T14:45:14Z2024-11-24T14:45:14ZAuthor Fishwick, Paul A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420010855">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>