Arama Sonuçları Logic, Symbolic and mathematical. - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026ps$003d300$0026isd$003dtrue?dt=list2025-12-05T18:31:42ZThe logical syntax of languageent://SD_ILS/0/SD_ILS:725092025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar 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 essaysent://SD_ILS/0/SD_ILS:725412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar 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 surveyent://SD_ILS/0/SD_ILS:725422025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar 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 sciencesent://SD_ILS/0/SD_ILS:725572025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar 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/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar 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/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Pragmatics and Semiotics of Standard Languagesent://SD_ILS/0/SD_ILS:5359402025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Sweet, Albert, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9780271073538?locatt=mode:legacy">https://doi.org/10.1515/9780271073538?locatt=mode:legacy</a>
<a href="https://www.degruyter.com/isbn/9780271073538">https://www.degruyter.com/isbn/9780271073538</a>
Cover <a href="https://www.degruyter.com/cover/covers/9780271073538.jpg">https://www.degruyter.com/cover/covers/9780271073538.jpg</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:4027122025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Turner, Raymond. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>UNDERSTANDING MATHEMATICAL PROOFent://SD_ILS/0/SD_ILS:5471872025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar TAYLOR, JOHN.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429190735">https://www.taylorfrancis.com/books/9780429190735</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:3995662025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:3995762025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logics for Computer Science Classical and Non-Classicalent://SD_ILS/0/SD_ILS:3996162025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wasilewska, Anita. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to the Technique of Formative Processes in Set Theoryent://SD_ILS/0/SD_ILS:4018062025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensionsent://SD_ILS/0/SD_ILS:4025142025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A concise introduction to pure mathematicsent://SD_ILS/0/SD_ILS:3788282025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Liebeck, M. W. (Martin W.), 1954-<br/>Yer Numarası QA9 L478 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:3647202025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mendelson, Elliott.<br/>Yer Numarası QA9 M4 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and discrete mathematics : a concise introductionent://SD_ILS/0/SD_ILS:3740002025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Commonsense reasoning an event calculus-based approachent://SD_ILS/0/SD_ILS:3554372025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mueller, Erik T., author.<br/>Yer Numarası ONLINE(355437.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal logic, or, The calculus of inference, necessary and probableent://SD_ILS/0/SD_ILS:3639572025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar De Morgan, Augustus, 1806-1871, author.<br/>Yer Numarası BC135 D4 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to mathematical proofsent://SD_ILS/0/SD_ILS:5477402025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Roberts, Charles, author. Taylor and Francis.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Kurt Gödel Essays for his Centennialent://SD_ILS/0/SD_ILS:2362162025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A transition to mathematics with proofsent://SD_ILS/0/SD_ILS:2695942025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cullinane, Michael J.<br/>Yer Numarası QA9 C84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logicism and its philosophical legacyent://SD_ILS/0/SD_ILS:2803042025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Demopoulos, William.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to Gödel's theoremsent://SD_ILS/0/SD_ILS:2805942025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Smith, Peter, 1944- author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331010.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Lifeent://SD_ILS/0/SD_ILS:3310262025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331026.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4616-2">http://dx.doi.org/10.1007/978-1-4471-4616-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344652025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334465.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347182025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334718.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Argument of Mathematicsent://SD_ILS/0/SD_ILS:3362632025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336263.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Mathematics of Paul Erdős IIent://SD_ILS/0/SD_ILS:3322432025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332243.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-7254-4">http://dx.doi.org/10.1007/978-1-4614-7254-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proofs of the Cantor-Bernstein Theorem A Mathematical Excursionent://SD_ILS/0/SD_ILS:3326052025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hinkis, Arie. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332605.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Visual Reasoning with Diagramsent://SD_ILS/0/SD_ILS:3326372025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332637.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards a General Theory of Classificationsent://SD_ILS/0/SD_ILS:3326392025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332639.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Mathematics and Computational Complexity A Gentle Introductionent://SD_ILS/0/SD_ILS:3326812025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Pudlák, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332681.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Mathematics of Coordinated Inference A Study of Generalized Hat Problemsent://SD_ILS/0/SD_ILS:3328592025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332859.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01333-6">http://dx.doi.org/10.1007/978-3-319-01333-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physikent://SD_ILS/0/SD_ILS:3330362025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333036.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Real Numbers An Introduction to Set Theory and Analysisent://SD_ILS/0/SD_ILS:3328762025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Stillwell, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332876.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01577-4">http://dx.doi.org/10.1007/978-3-319-01577-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Calculus with Infinitesimalsent://SD_ILS/0/SD_ILS:3336732025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Herzberg, Frederik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333673.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33149-7">http://dx.doi.org/10.1007/978-3-642-33149-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2ent://SD_ILS/0/SD_ILS:3340182025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334018.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete mathematics and its applicationsent://SD_ILS/0/SD_ILS:2711692025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rosen, Kenneth H. Krithivasan, Kamala.<br/>Yer Numarası QA39.3 R674 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Belief Revision in Non-Classical Logicsent://SD_ILS/0/SD_ILS:3309252025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330942.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Logical Introduction to Proofent://SD_ILS/0/SD_ILS:3313582025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3631-7">http://dx.doi.org/10.1007/978-1-4614-3631-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331853.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Invitation to Abstract Mathematicsent://SD_ILS/0/SD_ILS:3320772025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bajnok, Béla. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6636-9">http://dx.doi.org/10.1007/978-1-4614-6636-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347022025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334702.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335032.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reactive Kripke Semanticsent://SD_ILS/0/SD_ILS:3351002025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335100.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elementsent://SD_ILS/0/SD_ILS:3359412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335941.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>After Gödel : Platonism and rationalism in mathematics and logicent://SD_ILS/0/SD_ILS:3716162025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Tieszen, Richard L., author.<br/>Yer Numarası QA9 T54 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:1733792025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2173-2">http://dx.doi.org/10.1007/978-1-4471-2173-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Truth and Falsehood An Inquiry into Generalized Logical Valuesent://SD_ILS/0/SD_ILS:2059582025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0907-2">http://dx.doi.org/10.1007/978-94-007-0907-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lecture Notes on O-Minimal Structures and Real Analytic Geometryent://SD_ILS/0/SD_ILS:1743712025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4042-0">http://dx.doi.org/10.1007/978-1-4614-4042-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Mathematical Structures and Proofsent://SD_ILS/0/SD_ILS:1743892025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gerstein, Larry J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4265-3">http://dx.doi.org/10.1007/978-1-4614-4265-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Around and Beyond the Square of Oppositionent://SD_ILS/0/SD_ILS:1767822025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0379-3">http://dx.doi.org/10.1007/978-3-0348-0379-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Algebraic Specification and Formal Software Developmentent://SD_ILS/0/SD_ILS:1935722025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sparsity Graphs, Structures, and Algorithmsent://SD_ILS/0/SD_ILS:1962872025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27875-4">http://dx.doi.org/10.1007/978-3-642-27875-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1964382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>On Intuitionistic Fuzzy Sets Theoryent://SD_ILS/0/SD_ILS:1966212025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Atanassov, Krassimir T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29127-2">http://dx.doi.org/10.1007/978-3-642-29127-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969792025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notesent://SD_ILS/0/SD_ILS:1970872025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löfent://SD_ILS/0/SD_ILS:2066602025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4435-6">http://dx.doi.org/10.1007/978-94-007-4435-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Discrete Structures for Computer Scienceent://SD_ILS/0/SD_ILS:1967782025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Pace, Gordon J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29840-0">http://dx.doi.org/10.1007/978-3-642-29840-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semanticsent://SD_ILS/0/SD_ILS:1971022025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Complexity of Valued Constraint Satisfaction Problemsent://SD_ILS/0/SD_ILS:1974502025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Živný, Stanislav. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33974-5">http://dx.doi.org/10.1007/978-3-642-33974-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic: A Brief Courseent://SD_ILS/0/SD_ILS:2046172025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logicent://SD_ILS/0/SD_ILS:2420872025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Baltas, Aristeidēs. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780822977902/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Landini, Gregory. Palgrave Connect (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kunen, Kenneth.<br/>Yer Numarası QA9 K796 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical Olympiad Treasuresent://SD_ILS/0/SD_ILS:1683592025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8253-8">http://dx.doi.org/10.1007/978-0-8176-8253-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Excursions in the History of Mathematicsent://SD_ILS/0/SD_ILS:1683642025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kleiner, Israel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8268-2">http://dx.doi.org/10.1007/978-0-8176-8268-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner's Guide to Discrete Mathematicsent://SD_ILS/0/SD_ILS:1683702025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wallis, W.D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8286-6">http://dx.doi.org/10.1007/978-0-8176-8286-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Mathematical Experience, Study Editionent://SD_ILS/0/SD_ILS:1683732025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8295-8">http://dx.doi.org/10.1007/978-0-8176-8295-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciencesent://SD_ILS/0/SD_ILS:1683812025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wallis, W.D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8319-1">http://dx.doi.org/10.1007/978-0-8176-8319-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:1672642025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Soifer, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75472-7">http://dx.doi.org/10.1007/978-0-387-75472-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Selected Correspondence of L.E.J. Brouwerent://SD_ILS/0/SD_ILS:1685292025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-537-8">http://dx.doi.org/10.1007/978-0-85729-537-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:1727802025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bloch, Ethan D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7127-2">http://dx.doi.org/10.1007/978-1-4419-7127-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:1732232025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9479-0">http://dx.doi.org/10.1007/978-1-4419-9479-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ye, Feng. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:2058082025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:2058422025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bellent://SD_ILS/0/SD_ILS:2057802025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:2059492025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mundici, D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0840-2">http://dx.doi.org/10.1007/978-94-007-0840-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Editionent://SD_ILS/0/SD_ILS:2389532025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Linsky, Bernard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511760181">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lolli, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Casari, E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Theory and Applicationsent://SD_ILS/0/SD_ILS:1915852025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mangani, P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11121-1">http://dx.doi.org/10.1007/978-3-642-11121-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conditionals and Modularity in General Logicsent://SD_ILS/0/SD_ILS:1939232025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hyperfinite Dirichlet Forms and Stochastic Processesent://SD_ILS/0/SD_ILS:1941142025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19659-1">http://dx.doi.org/10.1007/978-3-642-19659-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Apartness and Uniformity A Constructive Developmentent://SD_ILS/0/SD_ILS:1950192025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952732025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Objects to Diagrams for Ranges of Functorsent://SD_ILS/0/SD_ILS:1948132025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21774-6">http://dx.doi.org/10.1007/978-3-642-21774-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948482025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Games on Automatic Structures Playing with Quantifiers and Decompositionsent://SD_ILS/0/SD_ILS:1951452025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955542025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Braüner, Torben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dual Tableaux: Foundations, Methodology, Case Studiesent://SD_ILS/0/SD_ILS:2057172025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Treatise on Intuitionistic Type Theoryent://SD_ILS/0/SD_ILS:2061592025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Granström, Johan Georg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wilesent://SD_ILS/0/SD_ILS:1923892025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946722025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947852025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008ent://SD_ILS/0/SD_ILS:2045272025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Skof, Fulvia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>After Gödel Platonism and rationalism in mathematics and logicent://SD_ILS/0/SD_ILS:2320292025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Tieszen, Richard L.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logicsent://SD_ILS/0/SD_ILS:2363042025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Goldblatt, Robert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Dynamics of Information and Interactionent://SD_ILS/0/SD_ILS:2368442025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar van Benthem, Johan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511974533">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophiesent://SD_ILS/0/SD_ILS:2379382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kennedy, Juliette. Kossak, Roman.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Kleinent://SD_ILS/0/SD_ILS:2473112025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hopkins, Burt C. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780253005274/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational logic and human thinking how to be artificially intelligentent://SD_ILS/0/SD_ILS:2787482025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kowalski, Robert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Fisher, Michael, 1962-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a>
<a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Curvebreakers.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Boutelle, Anthony. Gibilisco, Stan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>McGraw-Hill's LSATent://SD_ILS/0/SD_ILS:2940722025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Curvebreakers.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/mcgrawhills-lsat-2012-edition">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Proof is in the Pudding The Changing Nature of Mathematical Proofent://SD_ILS/0/SD_ILS:1664232025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Krantz, Steven G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-48744-1">http://dx.doi.org/10.1007/978-0-387-48744-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:5417042025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hitzler, Pascal., author. Seda, Anthony.<br/>Yer Numarası QA76.63 .H58 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Teaching mathematical reasoning in secondary school classroomsent://SD_ILS/0/SD_ILS:1346112025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Brodie, Karin. Coetzee, Kurt.<br/>Yer Numarası QA8.7 B76 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Handbook of Set Theoryent://SD_ILS/0/SD_ILS:1695902025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The P=NP Question and Gödel’s Lost Letterent://SD_ILS/0/SD_ILS:1727872025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lipton, Richard J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hylton, Peter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cook, Stephen. Nguyen, Phuong.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lerman, Manuel.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Tools for Handling Change in Agent-Based Systemsent://SD_ILS/0/SD_ILS:1909372025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Banach Spaces and Descriptive Set Theory: Selected Topicsent://SD_ILS/0/SD_ILS:1919052025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dodos, Pandelis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Deduction, Hybrid Systems and Modal Logicsent://SD_ILS/0/SD_ILS:2053152025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Centrone, Stefania. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Truth through proof a formalist foundation for mathematicsent://SD_ILS/0/SD_ILS:2332572025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Weir, Alan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical reasoning patterns, problems, conjectures, and proofsent://SD_ILS/0/SD_ILS:2656162025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Nickerson, Raymond S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete structures, logic, and computabilityent://SD_ILS/0/SD_ILS:2683132025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathansonent://SD_ILS/0/SD_ILS:1665742025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:1766702025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Monk, J. Donald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cognitive Reasoning A Formal Approachent://SD_ILS/0/SD_ILS:1856262025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Variaent://SD_ILS/0/SD_ILS:1884172025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Roads to infinity : the mathematics of truth and proofent://SD_ILS/0/SD_ILS:5427662025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Stillwell, John., author.<br/>Yer Numarası QA248 .S778 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439865507">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creatorsent://SD_ILS/0/SD_ILS:1671882025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Soifer, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-74642-5">http://dx.doi.org/10.1007/978-0-387-74642-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Missing Link in Cybernetics Logic and Continuityent://SD_ILS/0/SD_ILS:1672392025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Andrew, Alex M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75164-1">http://dx.doi.org/10.1007/978-0-387-75164-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Williams, H. Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logicism, Intuitionism, and Formalism What has Become of Them?ent://SD_ILS/0/SD_ILS:1703802025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8926-8">http://dx.doi.org/10.1007/978-1-4020-8926-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dude, Can You Count? Stories, Challenges, and Adventures in Mathematicsent://SD_ILS/0/SD_ILS:1760012025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Constanda, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-539-0">http://dx.doi.org/10.1007/978-1-84882-539-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Composition Paradigms of Automated Music Generationent://SD_ILS/0/SD_ILS:1770422025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Nierhaus, Gerhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-211-75540-2">http://dx.doi.org/10.1007/978-3-211-75540-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1894352025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Weighted Automataent://SD_ILS/0/SD_ILS:1900162025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01492-5">http://dx.doi.org/10.1007/978-3-642-01492-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904732025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02962-2">http://dx.doi.org/10.1007/978-3-642-02962-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908142025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69319-2">http://dx.doi.org/10.1007/978-3-540-69319-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Scienceent://SD_ILS/0/SD_ILS:1886342025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85198-1">http://dx.doi.org/10.1007/978-3-540-85198-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902962025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Treinen, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902722025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Curien, Pierre-Louis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1906212025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03429-9">http://dx.doi.org/10.1007/978-3-642-03429-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910902025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Informationent://SD_ILS/0/SD_ILS:1897632025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00659-3">http://dx.doi.org/10.1007/978-3-642-00659-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1901092025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ultimate Explanations of the Universeent://SD_ILS/0/SD_ILS:1902172025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Heller, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02103-9">http://dx.doi.org/10.1007/978-3-642-02103-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized Measure Theoryent://SD_ILS/0/SD_ILS:1674122025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76852-6">http://dx.doi.org/10.1007/978-0-387-76852-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203882009">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Boolean Algebrasent://SD_ILS/0/SD_ILS:1665842025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-68436-9">http://dx.doi.org/10.1007/978-0-387-68436-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1675412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Solojentsev, Evgueni D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-77946-1">http://dx.doi.org/10.1007/978-0-387-77946-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Olympiad Challengesent://SD_ILS/0/SD_ILS:1682242025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4611-0">http://dx.doi.org/10.1007/978-0-8176-4611-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:1704322025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From a Geometrical Point of View A Study of the History and Philosophy of Category Theoryent://SD_ILS/0/SD_ILS:1705222025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Marquis, Jean-Pierre. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9384-5">http://dx.doi.org/10.1007/978-1-4020-9384-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof Theory for Fuzzy Logicsent://SD_ILS/0/SD_ILS:1705272025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to mathematics of satisfiabilityent://SD_ILS/0/SD_ILS:5440452025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Marek, V. W. (V. Wiktor), 1943, author.<br/>Yer Numarası QA9.3 .M37 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439801741">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Games, puzzles, and computationent://SD_ILS/0/SD_ILS:5412192025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hearn, Robert A., author. Demaine, Erik D., 1981-<br/>Yer Numarası QA63 .H35 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439865057">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical labyrinthsent://SD_ILS/0/SD_ILS:5386172025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Smullyan, Raymond M., author.<br/>Yer Numarası QA9 .S575 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439865378">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Srivastava, S. M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:1682822025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Schöning, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete Thoughts Essays on Mathematics, Science and Philosophyent://SD_ILS/0/SD_ILS:1682842025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4775-9">http://dx.doi.org/10.1007/978-0-8176-4775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Indiscrete Thoughtsent://SD_ILS/0/SD_ILS:1682852025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4781-0">http://dx.doi.org/10.1007/978-0-8176-4781-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constructive Negations and Paraconsistencyent://SD_ILS/0/SD_ILS:1699722025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Odintsov, Sergei P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6867-6">http://dx.doi.org/10.1007/978-1-4020-6867-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms in Invariant Theoryent://SD_ILS/0/SD_ILS:1770662025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Sturmfels, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-211-77417-5">http://dx.doi.org/10.1007/978-3-211-77417-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New essays on Tarski and philosophyent://SD_ILS/0/SD_ILS:2310672025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Patterson, Douglas.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics, Models, and Modality Selected Philosophical Essaysent://SD_ILS/0/SD_ILS:2353692025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Burgess, John P..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487347">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Completeness Theory for Propositional Logicsent://SD_ILS/0/SD_ILS:1980802025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8518-7">http://dx.doi.org/10.1007/978-3-7643-8518-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:1981252025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deduction, Computation, Experiment Exploring the Effectiveness of Proofent://SD_ILS/0/SD_ILS:2042912025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-0784-0">http://dx.doi.org/10.1007/978-88-470-0784-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1885002025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888632025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Computational Paradigms Changing Conceptions of What is Computableent://SD_ILS/0/SD_ILS:1665942025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-68546-5">http://dx.doi.org/10.1007/978-0-387-68546-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorics and Graph Theoryent://SD_ILS/0/SD_ILS:1676862025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-79711-3">http://dx.doi.org/10.1007/978-0-387-79711-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information and Knowledge A Constructive Type-theoretical Approachent://SD_ILS/0/SD_ILS:1697112025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Primiero, Giuseppe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6170-7">http://dx.doi.org/10.1007/978-1-4020-6170-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:1699392025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Solerent://SD_ILS/0/SD_ILS:1702362025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8590-1">http://dx.doi.org/10.1007/978-1-4020-8590-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patternsent://SD_ILS/0/SD_ILS:1702502025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8622-9">http://dx.doi.org/10.1007/978-1-4020-8622-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Field Arithmeticent://SD_ILS/0/SD_ILS:1878262025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77270-5">http://dx.doi.org/10.1007/978-3-540-77270-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Proof Theory: Proof Interpretations and Their Use in Mathematicsent://SD_ILS/0/SD_ILS:1879032025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77533-1">http://dx.doi.org/10.1007/978-3-540-77533-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Developments in Formal Languages and Applicationsent://SD_ILS/0/SD_ILS:1880792025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transition to higher mathematics : structure and proofent://SD_ILS/0/SD_ILS:1107852025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar 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 applicationsent://SD_ILS/0/SD_ILS:1108042025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rosen, Kenneth H.<br/>Yer Numarası QA39.3 R674 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Arché Papers on the Mathematics of Abstractionent://SD_ILS/0/SD_ILS:1522542025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cook, Roy T. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>104 Number Theory Problems From the Training of the USA IMO Teament://SD_ILS/0/SD_ILS:1681992025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Strength of Nonstandard Analysisent://SD_ILS/0/SD_ILS:1769662025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1866522025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1873062025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Kolmogorov’s Heritage in Mathematicsent://SD_ILS/0/SD_ILS:1843742025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1980472025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:1661152025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1667112025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Educationent://SD_ILS/0/SD_ILS:1523412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Brouwer Meets Husserl On the Phenomenology of Choice Sequencesent://SD_ILS/0/SD_ILS:1523492025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Atten, Mark. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner’s Guide to Graph Theoryent://SD_ILS/0/SD_ILS:1682082025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wallis, W. D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Number Theory An Introduction via the Distribution of Primesent://SD_ILS/0/SD_ILS:1681862025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Legacy of Mario Pieri in Geometry and Arithmeticent://SD_ILS/0/SD_ILS:1682182025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:1852262025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:1855932025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1866382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Azzouni, Jody.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite Model Theoryent://SD_ILS/0/SD_ILS:1818572025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parameterized Complexity Theoryent://SD_ILS/0/SD_ILS:1821972025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnalent://SD_ILS/0/SD_ILS:1833802025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-32439-3">http://dx.doi.org/10.1007/978-3-540-32439-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theoryent://SD_ILS/0/SD_ILS:1843382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lau, Dietlinde. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844962025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848452025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004ent://SD_ILS/0/SD_ILS:1979742025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-7643-7692-9">http://dx.doi.org/10.1007/3-7643-7692-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Commonsense reasoningent://SD_ILS/0/SD_ILS:2537762025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mueller, Erik T.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Notes on Set Theoryent://SD_ILS/0/SD_ILS:1658252025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:1661392025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-36219-3">http://dx.doi.org/10.1007/0-387-36219-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Techniques of Constructive Analysisent://SD_ILS/0/SD_ILS:1662282025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rossi, Richard J., 1956-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Todayent://SD_ILS/0/SD_ILS:1523382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5012-7">http://dx.doi.org/10.1007/978-1-4020-5012-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A logical Approach to Philosophy Essays in Honour of Graham Solomonent://SD_ILS/0/SD_ILS:1522222025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cambridge and Vienna Frank P. Ramsey and the Vienna Circleent://SD_ILS/0/SD_ILS:1522282025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Galavotti, Maria Carla. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4101-2">http://dx.doi.org/10.1007/1-4020-4101-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1657822025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>18 Unconventional Essays on the Nature of Mathematicsent://SD_ILS/0/SD_ILS:1656772025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hersh, Reuben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-29831-2">http://dx.doi.org/10.1007/0-387-29831-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Congruences of a Finite Lattice A Proof-by-Picture Approachent://SD_ILS/0/SD_ILS:1681482025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Grätzer, George. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-8176-4462-8">http://dx.doi.org/10.1007/0-8176-4462-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Axiom of Choiceent://SD_ILS/0/SD_ILS:1839832025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Herrlich, Horst. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics and common sense : a case of creative tensionent://SD_ILS/0/SD_ILS:5396022025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Davis, Philip J., 1923, author.<br/>Yer Numarası QA9.2 .D38 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439864326">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1688742025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rippling: Meta-Level Guidance for Mathematical Reasoningent://SD_ILS/0/SD_ILS:2382012025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511543326">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Tieszen, Richard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Continuum Mechanics of Porous Mediaent://SD_ILS/0/SD_ILS:1688212025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Boer, Reint. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3144-0">http://dx.doi.org/10.1007/1-4020-3144-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Propositional and Predicate Calculus A Model of Argumentent://SD_ILS/0/SD_ILS:1753282025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Goldrei, Derek. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-229-2">http://dx.doi.org/10.1007/1-84628-229-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:1810672025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Fiadeiro, José Luiz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Field Arithmeticent://SD_ILS/0/SD_ILS:1811002025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1827522025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828262025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829832025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1832412025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1978382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:1654862025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logically determined design clockless system design with NULL convention logicent://SD_ILS/0/SD_ILS:3016452025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Fant, Karl M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Big Typescript, TS. 213ent://SD_ILS/0/SD_ILS:2962442025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html">http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470752906">http://dx.doi.org/10.1002/9780470752906</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Laws of Natureent://SD_ILS/0/SD_ILS:1525642025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28303-X">http://dx.doi.org/10.1007/3-540-28303-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Essays in Constructive Mathematicsent://SD_ILS/0/SD_ILS:1653372025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Edwards, Harold M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1686932025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1687822025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Solojentsev, E. D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-2978-0">http://dx.doi.org/10.1007/1-4020-2978-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1833672025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and structureent://SD_ILS/0/SD_ILS:975662025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Dalen, D. van.<br/>Yer Numarası QA 9 D16 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of the logic of argument and inference the turn towards the practicalent://SD_ILS/0/SD_ILS:2566062025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Gabbay, Dov M., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:2566002025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Between Logic and Intuition Essays in Honor of Charles Parsonsent://SD_ILS/0/SD_ILS:2350872025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Sher, Gila. Tieszen, Richard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511570681">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Brady, Geraldine.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Hooker, John, 1949- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033036">An electronic book accessible through the World Wide Web; click for information</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/99088732.html">http://catdir.loc.gov/catdir/bios/wiley043/99088732.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rodgers, Nancy, 1941-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118165690">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818931">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/00023492.html">http://catdir.loc.gov/catdir/bios/wiley043/00023492.html</a>
ebrary <a href="http://site.ebrary.com/id/10500922">http://site.ebrary.com/id/10500922</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10500922">http://site.ebrary.com/lib/alltitles/Doc?id=10500922</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimization methods for logical inferenceent://SD_ILS/0/SD_ILS:3003052025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Chandru, Vijay, 1953- Hooker, John, 1949-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033166">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=695262">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/98044622.html">http://catdir.loc.gov/catdir/bios/wiley042/98044622.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:1241252025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Lewis, Harry R. Papadimitriou, Christos H.<br/>Yer Numarası QA267 .L49 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Admissibility of logical inference rulesent://SD_ILS/0/SD_ILS:2565422025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Rybakov, Vladimir V. (Vladimir Vladimir), 1961-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444895059">http://www.sciencedirect.com/science/book/9780444895059</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic of mathematics a modern course of classical logicent://SD_ILS/0/SD_ILS:3002602025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118032541">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694510">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/95020818.html">http://catdir.loc.gov/catdir/bios/wiley042/95020818.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical frameworks for truth and abstraction an axiomatic studyent://SD_ILS/0/SD_ILS:2565332025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Cantini, Andrea.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Eijck, J. van (Jan) Visser, Albert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:2565552025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-based decision support mixed integer model formulationent://SD_ILS/0/SD_ILS:2567822025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Jeroslow, Robert G., 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Börger, E. (Egon), 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984ent://SD_ILS/0/SD_ILS:2569572025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879998">http://www.sciencedirect.com/science/book/9780444879998</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982ent://SD_ILS/0/SD_ILS:2568382025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:2569552025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979ent://SD_ILS/0/SD_ILS:2569522025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978ent://SD_ILS/0/SD_ILS:2572602025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational studies selected works. Volume IIent://SD_ILS/0/SD_ILS:2572612025-12-05T18:31:42Z2025-12-05T18:31:42ZYazar Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851031">http://www.sciencedirect.com/science/book/9780444851031</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>