Arama Sonuçları Logic, Symbolic and mathematical.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026ic$003dtrue$0026ps$003d300?
2026-01-20T16:36:28Z
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
LOGIC AND KNOWLEDGE
ent://SD_ILS/0/SD_ILS:589148
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Russell, Bertrand, 1872-1970, author.<br/>Yer Numarası B1649 .R94<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003605096">https://www.taylorfrancis.com/books/9781003605096</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/>
Bertrand's paradox and the principle of indifference
ent://SD_ILS/0/SD_ILS:580317
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Shackel, Nicholas, 1955- author.<br/>Yer Numarası QA273.4<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003456308">https://www.taylorfrancis.com/books/9781003456308</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/>
Symbolic regression
ent://SD_ILS/0/SD_ILS:581504
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.<br/>Yer Numarası QA76.623<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315166407">https://www.taylorfrancis.com/books/9781315166407</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/>
PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS
ent://SD_ILS/0/SD_ILS:573057
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Bacon, Andrew, 1985-<br/>Yer Numarası BC135<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003039181">https://www.taylorfrancis.com/books/9781003039181</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/>
Concise introduction to logic and set theory
ent://SD_ILS/0/SD_ILS:558357
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.<br/>Yer Numarası QA9 .A5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429022838">https://www.taylorfrancis.com/books/9780429022838</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/>
Introduction to fuzzy logic
ent://SD_ILS/0/SD_ILS:596643
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Peckol, James K., author. John Wiley & Sons, publisher.<br/>Yer Numarası QA9.64 .P43 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:576872
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Klagge, James Carl, 1954- author.<br/>Yer Numarası B3376 .W563<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003030072">https://www.taylorfrancis.com/books/9781003030072</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/>
Architecture of mathematics
ent://SD_ILS/0/SD_ILS:586458
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Serovajsky, Simon, author.<br/>Yer Numarası QA9<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429470370">https://www.taylorfrancis.com/books/9780429470370</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/>
Advanced mathematics : a transitional reference
ent://SD_ILS/0/SD_ILS:595483
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Farlow, Stanley J., 1937- author.<br/>Yer Numarası QA37.3<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563549">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563549</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
UNDERSTANDING MATHEMATICAL PROOF
ent://SD_ILS/0/SD_ILS:547187
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logics for Computer Science Classical and Non-Classical
ent://SD_ILS/0/SD_ILS:399616
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Theory
ent://SD_ILS/0/SD_ILS:401806
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
ent://SD_ILS/0/SD_ILS:399566
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Size
ent://SD_ILS/0/SD_ILS:399576
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
ent://SD_ILS/0/SD_ILS:402514
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Computational Artifacts Towards a Philosophy of Computer Science
ent://SD_ILS/0/SD_ILS:402712
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logical Foundations of Cyber-Physical Systems
ent://SD_ILS/0/SD_ILS:399499
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 logic
ent://SD_ILS/0/SD_ILS:364720
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 introduction
ent://SD_ILS/0/SD_ILS:374000
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Formal logic, or, The calculus of inference, necessary and probable
ent://SD_ILS/0/SD_ILS:363957
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar De Morgan, Augustus, 1806-1871, author.<br/>Yer Numarası BC135 D4 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Commonsense reasoning an event calculus-based approach
ent://SD_ILS/0/SD_ILS:355437
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Introduction to mathematical proofs
ent://SD_ILS/0/SD_ILS:547740
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Centennial
ent://SD_ILS/0/SD_ILS:236216
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
ent://SD_ILS/0/SD_ILS:331026
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:332077
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
ent://SD_ILS/0/SD_ILS:332859
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Real Numbers An Introduction to Set Theory and Analysis
ent://SD_ILS/0/SD_ILS:332876
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
ent://SD_ILS/0/SD_ILS:333036
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Stochastic Calculus with Infinitesimals
ent://SD_ILS/0/SD_ILS:333673
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
ent://SD_ILS/0/SD_ILS:334018
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Schwartz
ent://SD_ILS/0/SD_ILS:330942
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Logical Introduction to Proof
ent://SD_ILS/0/SD_ILS:331358
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Cullinane, Michael J.<br/>Yer Numarası QA9 C84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Önermeler mantığı
ent://SD_ILS/0/SD_ILS:311337
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Nesin, Ali.<br/>Yer Numarası QA270 N476 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
After Gödel : Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:371616
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Tieszen, Richard L., author.<br/>Yer Numarası QA9 T54 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The Mathematics of Paul Erdős II
ent://SD_ILS/0/SD_ILS:332243
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Excursion
ent://SD_ILS/0/SD_ILS:332605
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Diagrams
ent://SD_ILS/0/SD_ILS:332637
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Classifications
ent://SD_ILS/0/SD_ILS:332639
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Introduction
ent://SD_ILS/0/SD_ILS:332681
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ent://SD_ILS/0/SD_ILS:335941
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Argument of Mathematics
ent://SD_ILS/0/SD_ILS:336263
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
ent://SD_ILS/0/SD_ILS:336968
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Tapp, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
ent://SD_ILS/0/SD_ILS:337476
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337476.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ent://SD_ILS/0/SD_ILS:336850
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336850.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:337115
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337115.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
ent://SD_ILS/0/SD_ILS:338283
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(338283.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logicism and its philosophical legacy
ent://SD_ILS/0/SD_ILS:280304
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 theorems
ent://SD_ILS/0/SD_ILS:280594
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Rosen, Kenneth H. Krithivasan, Kamala.<br/>Yer Numarası QA39.3 R674 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Mathematical Olympiad Treasures
ent://SD_ILS/0/SD_ILS:168359
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:168364
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:168370
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Edition
ent://SD_ILS/0/SD_ILS:168373
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Sciences
ent://SD_ILS/0/SD_ILS:168381
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Introduction to Mathematical Structures and Proofs
ent://SD_ILS/0/SD_ILS:174389
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
ent://SD_ILS/0/SD_ILS:206660
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
ent://SD_ILS/0/SD_ILS:242087
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Truth and Falsehood An Inquiry into Generalized Logical Values
ent://SD_ILS/0/SD_ILS:205958
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
On Intuitionistic Fuzzy Sets Theory
ent://SD_ILS/0/SD_ILS:196621
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematics of Discrete Structures for Computer Science
ent://SD_ILS/0/SD_ILS:196778
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196979
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Notes
ent://SD_ILS/0/SD_ILS:197087
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Combinatorial Set Theory With a Gentle Introduction to Forcing
ent://SD_ILS/0/SD_ILS:173379
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Science
ent://SD_ILS/0/SD_ILS:173540
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
ent://SD_ILS/0/SD_ILS:174371
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Around and Beyond the Square of Opposition
ent://SD_ILS/0/SD_ILS:176782
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196438
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Complexity of Valued Constraint Satisfaction Problems
ent://SD_ILS/0/SD_ILS:197450
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Ž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 Course
ent://SD_ILS/0/SD_ILS:204617
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Non solo calcoli Domande e risposte sui perché della matematica
ent://SD_ILS/0/SD_ILS:204679
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2610-0">http://dx.doi.org/10.1007/978-88-470-2610-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Teoria algebrica dei meccanismi automatici
ent://SD_ILS/0/SD_ILS:191521
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Righi, R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10932-4">http://dx.doi.org/10.1007/978-3-642-10932-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sparsity Graphs, Structures, and Algorithms
ent://SD_ILS/0/SD_ILS:196287
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Frege's notations what they are and how they mean
ent://SD_ILS/0/SD_ILS:279084
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 mathematics
ent://SD_ILS/0/SD_ILS:267321
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Kunen, Kenneth.<br/>Yer Numarası QA9 K796 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The Selected Correspondence of L.E.J. Brouwer
ent://SD_ILS/0/SD_ILS:168529
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Handbook of logic and language
ent://SD_ILS/0/SD_ILS:148146
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:167264
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Proofs and Fundamentals A First Course in Abstract Mathematics
ent://SD_ILS/0/SD_ILS:172780
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
ent://SD_ILS/0/SD_ILS:192389
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Hyperfinite Dirichlet Forms and Stochastic Processes
ent://SD_ILS/0/SD_ILS:194114
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194672
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Apartness and Uniformity A Constructive Development
ent://SD_ILS/0/SD_ILS:195019
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
ent://SD_ILS/0/SD_ILS:195145
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
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,2008
ent://SD_ILS/0/SD_ILS:204527
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logica: Metodo Breve
ent://SD_ILS/0/SD_ILS:204542
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hybrid Logic and its Proof-Theory
ent://SD_ILS/0/SD_ILS:205716
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Studies
ent://SD_ILS/0/SD_ILS:205717
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Crossroads
ent://SD_ILS/0/SD_ILS:205741
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
ent://SD_ILS/0/SD_ILS:205780
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Methods of Cut-Elimination
ent://SD_ILS/0/SD_ILS:205808
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:205842
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Advanced Łukasiewicz calculus and MV-algebras
ent://SD_ILS/0/SD_ILS:205949
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
After Gödel Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:232029
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Logics
ent://SD_ILS/0/SD_ILS:236304
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition
ent://SD_ILS/0/SD_ILS:238953
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
ent://SD_ILS/0/SD_ILS:247311
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logical Dynamics of Information and Interaction
ent://SD_ILS/0/SD_ILS:236844
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Proof is in the Pudding The Changing Nature of Mathematical Proof
ent://SD_ILS/0/SD_ILS:166423
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Reading, Writing, and Proving A Closer Look at Mathematics
ent://SD_ILS/0/SD_ILS:173223
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
ent://SD_ILS/0/SD_ILS:192795
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</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. Proceedings
ent://SD_ILS/0/SD_ILS:194785
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:198771
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Un mondo di idee La matematica ovunque
ent://SD_ILS/0/SD_ILS:204501
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-1744-3">http://dx.doi.org/10.1007/978-88-470-1744-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Games, Norms and Reasons Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205924
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Strict Finitism and the Logic of Mathematical Applications
ent://SD_ILS/0/SD_ILS:206041
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
An introduction to practical formal methods using temporal logic
ent://SD_ILS/0/SD_ILS:305703
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Recursion Theory and Computational Complexity
ent://SD_ILS/0/SD_ILS:191568
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Logic
ent://SD_ILS/0/SD_ILS:191571
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Applications
ent://SD_ILS/0/SD_ILS:191585
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
ent://SD_ILS/0/SD_ILS:191764
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
From Objects to Diagrams for Ranges of Functors
ent://SD_ILS/0/SD_ILS:194813
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:194848
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies
ent://SD_ILS/0/SD_ILS:237938
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Computational logic and human thinking how to be artificially intelligent
ent://SD_ILS/0/SD_ILS:278748
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
McGraw-Hill's conquering LSAT logic games
ent://SD_ILS/0/SD_ILS:294045
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
McGraw-Hill's LSAT
ent://SD_ILS/0/SD_ILS:294072
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic demystified
ent://SD_ILS/0/SD_ILS:294115
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:541704
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Handbook of Set Theory
ent://SD_ILS/0/SD_ILS:169590
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Teaching mathematical reasoning in secondary school classrooms
ent://SD_ILS/0/SD_ILS:134611
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Brodie, Karin. Coetzee, Kurt.<br/>Yer Numarası QA8.7 B76 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The P=NP Question and Gödel’s Lost Letter
ent://SD_ILS/0/SD_ILS:172787
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic and Philosophy of Mathematics in the Early Husserl
ent://SD_ILS/0/SD_ILS:205021
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 mathematics
ent://SD_ILS/0/SD_ILS:233257
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Propositions, functions, and analysis selected essays on Russell's philosophy
ent://SD_ILS/0/SD_ILS:231578
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Framework for Priority Arguments
ent://SD_ILS/0/SD_ILS:236766
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 2007
ent://SD_ILS/0/SD_ILS:236783
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logical Foundations of Proof Complexity
ent://SD_ILS/0/SD_ILS:237834
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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, Varia
ent://SD_ILS/0/SD_ILS:188417
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Banach Spaces and Descriptive Set Theory: Selected Topics
ent://SD_ILS/0/SD_ILS:191905
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Science
ent://SD_ILS/0/SD_ILS:198215
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ent://SD_ILS/0/SD_ILS:166574
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematical reasoning patterns, problems, conjectures, and proofs
ent://SD_ILS/0/SD_ILS:265616
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Cardinal Invariants on Boolean Algebras
ent://SD_ILS/0/SD_ILS:176670
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematische Logik
ent://SD_ILS/0/SD_ILS:176698
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Ziegler, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
ent://SD_ILS/0/SD_ILS:189998
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Tools for Handling Change in Agent-Based Systems
ent://SD_ILS/0/SD_ILS:190937
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Roads to infinity : the mathematics of truth and proof
ent://SD_ILS/0/SD_ILS:542766
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
ent://SD_ILS/0/SD_ILS:167541
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logicism, Intuitionism, and Formalism What has Become of Them?
ent://SD_ILS/0/SD_ILS:170380
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
ent://SD_ILS/0/SD_ILS:167188
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Continuity
ent://SD_ILS/0/SD_ILS:167239
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Generalized Measure Theory
ent://SD_ILS/0/SD_ILS:167412
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic and Integer Programming
ent://SD_ILS/0/SD_ILS:168006
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematical Olympiad Challenges
ent://SD_ILS/0/SD_ILS:168224
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic Colloquium 2006
ent://SD_ILS/0/SD_ILS:237775
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Proof Theory The First Step into Impredicativity
ent://SD_ILS/0/SD_ILS:185783
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Science
ent://SD_ILS/0/SD_ILS:188634
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logische Grundlagen der Mathematik
ent://SD_ILS/0/SD_ILS:189560
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Schindler, Ralf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-95932-8">http://dx.doi.org/10.1007/978-3-540-95932-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Boolean Algebras
ent://SD_ILS/0/SD_ILS:166584
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Philosophy
ent://SD_ILS/0/SD_ILS:170517
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Theory
ent://SD_ILS/0/SD_ILS:170522
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Logics
ent://SD_ILS/0/SD_ILS:170527
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189435
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
ent://SD_ILS/0/SD_ILS:189763
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Ultimate Explanations of the Universe
ent://SD_ILS/0/SD_ILS:190217
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190473
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190621
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
ent://SD_ILS/0/SD_ILS:176001
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Generation
ent://SD_ILS/0/SD_ILS:177042
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Handbook of Weighted Automata
ent://SD_ILS/0/SD_ILS:190016
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:190109
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190272
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190296
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Introduction to mathematics of satisfiability
ent://SD_ILS/0/SD_ILS:544045
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Teaching and learning proof across the grades a K-16 perspective
ent://SD_ILS/0/SD_ILS:266955
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logical labyrinths
ent://SD_ILS/0/SD_ILS:538617
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Games, puzzles, and computation
ent://SD_ILS/0/SD_ILS:541219
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Combinatorics and Graph Theory
ent://SD_ILS/0/SD_ILS:167686
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic for Computer Scientists
ent://SD_ILS/0/SD_ILS:168282
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Philosophy
ent://SD_ILS/0/SD_ILS:168284
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Thoughts
ent://SD_ILS/0/SD_ILS:168285
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Information and Knowledge A Constructive Type-theoretical Approach
ent://SD_ILS/0/SD_ILS:169711
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Systems
ent://SD_ILS/0/SD_ILS:169939
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Constructive Negations and Paraconsistency
ent://SD_ILS/0/SD_ILS:169972
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:167320
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
ent://SD_ILS/0/SD_ILS:204291
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
New essays on Tarski and philosophy
ent://SD_ILS/0/SD_ILS:231067
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Essays
ent://SD_ILS/0/SD_ILS:235369
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
New Developments in Formal Languages and Applications
ent://SD_ILS/0/SD_ILS:188079
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:188416
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79376-2">http://dx.doi.org/10.1007/978-3-540-79376-2</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. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:188863
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Computable
ent://SD_ILS/0/SD_ILS:166594
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
ent://SD_ILS/0/SD_ILS:170236
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Patterns
ent://SD_ILS/0/SD_ILS:170250
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Theoretische Informatik Eine umfassende Einführung
ent://SD_ILS/0/SD_ILS:187575
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76320-8">http://dx.doi.org/10.1007/978-3-540-76320-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
ent://SD_ILS/0/SD_ILS:187688
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Hausdorff, Felix. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76807-4">http://dx.doi.org/10.1007/978-3-540-76807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:187826
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:187903
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Petri-Netze
ent://SD_ILS/0/SD_ILS:187745
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76971-2">http://dx.doi.org/10.1007/978-3-540-76971-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Completeness Theory for Propositional Logics
ent://SD_ILS/0/SD_ILS:198080
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Theory
ent://SD_ILS/0/SD_ILS:198125
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Guida alla teoria degli insiemi
ent://SD_ILS/0/SD_ILS:204285
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Lolli, Gabriele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-0769-7">http://dx.doi.org/10.1007/978-88-470-0769-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms in Invariant Theory
ent://SD_ILS/0/SD_ILS:177066
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematical logic
ent://SD_ILS/0/SD_ILS:303099
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
ent://SD_ILS/0/SD_ILS:152341
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Transition to higher mathematics : structure and proof
ent://SD_ILS/0/SD_ILS:110785
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Dumas, Bob A. McCarthy, John E.<br/>Yer Numarası QA9 .D863 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:110804
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Abstraction
ent://SD_ILS/0/SD_ILS:152254
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Brouwer Meets Husserl On the Phenomenology of Choice Sequences
ent://SD_ILS/0/SD_ILS:152349
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Handbook of Spatial Logics
ent://SD_ILS/0/SD_ILS:152404
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Passione per Trilli Alcune idee dalla matematica
ent://SD_ILS/0/SD_ILS:152631
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Lucchetti, Roberto. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-0629-4">http://dx.doi.org/10.1007/978-88-470-0629-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Problems from Applied Logic II Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:166711
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Number Theory An Introduction via the Distribution of Primes
ent://SD_ILS/0/SD_ILS:168186
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
104 Number Theory Problems From the Training of the USA IMO Team
ent://SD_ILS/0/SD_ILS:168199
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Beginner’s Guide to Graph Theory
ent://SD_ILS/0/SD_ILS:168208
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Legacy of Mario Pieri in Geometry and Arithmetic
ent://SD_ILS/0/SD_ILS:168218
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic Colloquium 2005
ent://SD_ILS/0/SD_ILS:236631
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Analysis
ent://SD_ILS/0/SD_ILS:176966
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:184842
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-45388-8">http://dx.doi.org/10.1007/978-3-540-45388-8</a><br/>Format: 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. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
ent://SD_ILS/0/SD_ILS:166115
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Kolmogorov’s Heritage in Mathematics
ent://SD_ILS/0/SD_ILS:184374
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Ernst Zermelo An Approach to His Life and Work
ent://SD_ILS/0/SD_ILS:185226
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187306
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:198047
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Finite Model Theory and Its Applications
ent://SD_ILS/0/SD_ILS:185593
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:186638
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ent://SD_ILS/0/SD_ILS:152338
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 logical Approach to Philosophy Essays in Honour of Graham Solomon
ent://SD_ILS/0/SD_ILS:152222
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Circle
ent://SD_ILS/0/SD_ILS:152228
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
18 Unconventional Essays on the Nature of Mathematics
ent://SD_ILS/0/SD_ILS:165677
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Congruences of a Finite Lattice A Proof-by-Picture Approach
ent://SD_ILS/0/SD_ILS:168148
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
ent://SD_ILS/0/SD_ILS:183380
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Commonsense reasoning
ent://SD_ILS/0/SD_ILS:253776
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Théorie des ensembles
ent://SD_ILS/0/SD_ILS:183915
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Bourbaki, N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-34035-5">http://dx.doi.org/10.1007/978-3-540-34035-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Axiom of Choice
ent://SD_ILS/0/SD_ILS:183983
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar É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/>
Problems and Theorems in Classical Set Theory
ent://SD_ILS/0/SD_ILS:166139
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Analysis
ent://SD_ILS/0/SD_ILS:166228
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
ent://SD_ILS/0/SD_ILS:197974
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Tracking reason proof, consequence, and truth
ent://SD_ILS/0/SD_ILS:231352
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Theorems, corollaries, lemmas, and methods of proof
ent://SD_ILS/0/SD_ILS:303091
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mathematics and common sense : a case of creative tension
ent://SD_ILS/0/SD_ILS:539602
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Laws of Nature
ent://SD_ILS/0/SD_ILS:152564
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Mathematics
ent://SD_ILS/0/SD_ILS:165337
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
ent://SD_ILS/0/SD_ILS:168782
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:165486
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Propositional and Predicate Calculus A Model of Argument
ent://SD_ILS/0/SD_ILS:175328
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Valued Fields
ent://SD_ILS/0/SD_ILS:182242
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Papers
ent://SD_ILS/0/SD_ILS:182752
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:182983
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183367
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Phenomenology, Logic, and the Philosophy of Mathematics
ent://SD_ILS/0/SD_ILS:237047
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Rippling: Meta-Level Guidance for Mathematical Reasoning
ent://SD_ILS/0/SD_ILS:238201
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Categories for Software Engineering
ent://SD_ILS/0/SD_ILS:181067
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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 Arithmetic
ent://SD_ILS/0/SD_ILS:181100
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
ent://SD_ILS/0/SD_ILS:181540
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
A Modern Perspective on Type Theory From its Origins until Today
ent://SD_ILS/0/SD_ILS:168693
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Trends in Continuum Mechanics of Porous Media
ent://SD_ILS/0/SD_ILS:168821
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Visualization, Explanation and Reasoning Styles in Mathematics
ent://SD_ILS/0/SD_ILS:168874
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
The Big Typescript, TS. 213
ent://SD_ILS/0/SD_ILS:296244
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:197838
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logically determined design clockless system design with NULL convention logic
ent://SD_ILS/0/SD_ILS:301645
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar 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/>
Logic and structure
ent://SD_ILS/0/SD_ILS:97566
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Dalen, D. van.<br/>Yer Numarası QA 9 D16 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Önermeler mantığı :
ent://SD_ILS/0/SD_ILS:101355
2026-01-20T16:36:28Z
2026-01-20T16:36:28Z
Yazar Nesin, Ali.<br/>Yer Numarası QA 270 .N476 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>