Arama Sonuçları Proof theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProof$002btheory.$0026ps$003d300$0026isd$003dtrue?2026-01-23T06:54:07ZProof theoryent://SD_ILS/0/SD_ILS:2573042026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Takeuti, Gaisi, 1926-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104922">http://www.sciencedirect.com/science/book/9780444104922</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structural Proof Theoryent://SD_ILS/0/SD_ILS:2376422026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Negri, Sara. von Plato, Jan. Ranta, Aarne.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511527340">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of proof theoryent://SD_ILS/0/SD_ILS:2565462026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Buss, Samuel R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898401">http://www.sciencedirect.com/science/book/9780444898401</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof theory and logical complexityent://SD_ILS/0/SD_ILS:460592026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Girard, Jean-Yves.<br/>Yer Numarası QA 9.54 G57 1987- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A Proof Theory for Description Logicsent://SD_ILS/0/SD_ILS:1735172026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Rademaker, Alexandre. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4002-3">http://dx.doi.org/10.1007/978-1-4471-4002-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Proof Theory for Fuzzy Logicsent://SD_ILS/0/SD_ILS:1705272026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Proof theory : sequent calculi and related formalismsent://SD_ILS/0/SD_ILS:5467332026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Bimbo, Katalin, 1963, author.<br/>Yer Numarası QA9.54 .B55 2015<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466564688">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968ent://SD_ILS/0/SD_ILS:2572452026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422573">http://www.sciencedirect.com/science/book/9780720422573</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Factors and Factorizations of Graphs Proof Techniques in Factor Theoryent://SD_ILS/0/SD_ILS:1948602026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21919-1">http://dx.doi.org/10.1007/978-3-642-21919-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Proof Theory: Proof Interpretations and Their Use in Mathematicsent://SD_ILS/0/SD_ILS:1879032026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>BEGINNER'S GUIDE TO MATHEMATICAL PROOFent://SD_ILS/0/SD_ILS:5911452026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar DeBonis, Mark J.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032687728">https://www.taylorfrancis.com/books/9781032687728</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/>A bridge to higher mathematicsent://SD_ILS/0/SD_ILS:5543962026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Kirkwood, James R., author. Robeva, Raina S., author.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032623849">https://www.taylorfrancis.com/books/9781032623849</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/>Taking the "oof!" out of proofsent://SD_ILS/0/SD_ILS:5610142026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Draganov, Alexandr, author.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003456766">https://www.taylorfrancis.com/books/9781003456766</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/>Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environmentsent://SD_ILS/0/SD_ILS:5985722026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Xia, Qi, author.<br/>Yer Numarası TK5102.94 .G365 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211272026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43264-4">https://doi.org/10.1007/978-3-031-43264-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211912026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36978-0">https://doi.org/10.1007/978-3-031-36978-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212952026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms for Constructing Computably Enumerable Setsent://SD_ILS/0/SD_ILS:5203242026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211392026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proofs 101 : an introduction to formal mathematicsent://SD_ILS/0/SD_ILS:5546732026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Kirtland, Joseph (Mathematics professor), author.<br/>Yer Numarası QA9.54<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003082927">https://www.taylorfrancis.com/books/9781003082927</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/>Wireless blockchain : principles, technologies and applicationsent://SD_ILS/0/SD_ILS:5971402026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.<br/>Yer Numarası QA76.9 .B56<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Gaussian Measures in Hilbert Space : Construction and Propertiesent://SD_ILS/0/SD_ILS:5957032026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Kukush, Alexander.<br/>Yer Numarası QA312<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476825">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476825</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A modern introduction to fuzzy mathematicsent://SD_ILS/0/SD_ILS:5958362026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Syropoulos, Apostolos, author.<br/>Yer Numarası QA248.5 .S97 2020<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal semantics in modern type theoriesent://SD_ILS/0/SD_ILS:5965052026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.<br/>Yer Numarası QA76.5913<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>UNDERSTANDING MATHEMATICAL PROOFent://SD_ILS/0/SD_ILS:5471872026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>An introduction to proof through real analysisent://SD_ILS/0/SD_ILS:5936702026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.<br/>Yer Numarası QA9.54 .M335 2017<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:5191462026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part Ient://SD_ILS/0/SD_ILS:5189852026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15934-8">https://doi.org/10.1007/978-3-319-15934-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:5190402026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissanceent://SD_ILS/0/SD_ILS:3417772026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Erickson, Matthew P.<br/>Yer Numarası ONLINE(341777.1)<br/>Elektronik Erişim Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9781118779194.jpg">http://catalogimages.wiley.com/images/db/jimages/9781118779194.jpg</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1752702">http://public.eblib.com/choice/publicfullrecord.aspx?p=1752702</a>
ebrary <a href="http://site.ebrary.com/id/10899822">http://site.ebrary.com/id/10899822</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118779217">http://dx.doi.org/10.1002/9781118779217</a>
MyiLibrary <a href="http://www.myilibrary.com?id=632014">http://www.myilibrary.com?id=632014</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Why is there philosophy of mathematics at all?ent://SD_ILS/0/SD_ILS:3643962026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Hacking, Ian, author.<br/>Yer Numarası QA8.4 H29 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Software engineering mathematicsent://SD_ILS/0/SD_ILS:5425122026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Woodcock, Janet, author. Taylor and Francis.<br/>Yer Numarası QA76.758 .W661989<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780429019111">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Gunderson, David S., author.<br/>Yer Numarası QA9.54 G863 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Small and short-range radar systemsent://SD_ILS/0/SD_ILS:5476192026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Charvat, Gregory L., author.<br/>Yer Numarası TK6575 .C4746 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439866009">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to mathematical proofsent://SD_ILS/0/SD_ILS:5477402026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>The nuts and bolts of proofs : an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:2704012026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Cupillari, Antonella.<br/>Yer Numarası QA9.54 C86 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A realist theory of art historyent://SD_ILS/0/SD_ILS:2585652026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Verstegen, Ian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203072462">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The nuts and bolts of proofs an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:1483742026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Cupillari, Antonella. ScienceDirect (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123822178">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spaces of PL manifolds and categories of simple mapsent://SD_ILS/0/SD_ILS:3770702026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt24hqsv">http://www.jstor.org/stable/10.2307/j.ctt24hqsv</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonlinear optimal control theoryent://SD_ILS/0/SD_ILS:5467192026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Berkovitz, Leonard David, 1924, author. Medhin, Negash G.<br/>Yer Numarası QA402.35 .B47 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466560277">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Limits of computation : an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:5412002026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.<br/>Yer Numarası QA267.7 .R445 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439882078">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The history of mathematical proof in ancient traditionsent://SD_ILS/0/SD_ILS:2793702026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Chemla, Karine.<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=458586">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Godel's way : exploits into an undecidable worldent://SD_ILS/0/SD_ILS:5405362026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.<br/>Yer Numarası QA9.65 .C428 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781136587641">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete mathematics demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941312026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Krantz, Steven G. (Steven George), 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/discrete-mathematics-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Math proofs demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941582026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Gibilisco, Stan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/math-proofs-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof Analysis A Contribution to Hilbert's Last Problement://SD_ILS/0/SD_ILS:2390262026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Negri, Sara. von Plato, Jan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9781139003513">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Explanation and proof in mathematics : philosophical and educational perspectivesent://SD_ILS/0/SD_ILS:1346052026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.<br/>Yer Numarası QA9.54 E97 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Food lipids : chemistry, nutrition, and biotechnologyent://SD_ILS/0/SD_ILS:5387932026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Akoh, Casimir C., 1955- Min, David B.<br/>Yer Numarası QP751 .F647 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439875551">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>Lectures on the Curry-Howard isomorphisment://SD_ILS/0/SD_ILS:2566362026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Sørensen, Morten Heine. Urzyczyn, Paweł.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar 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/>The nuts and bolts of proofsent://SD_ILS/0/SD_ILS:2565112026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Cupillari, Antonella.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120885091">http://www.sciencedirect.com/science/book/9780120885091</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantum computation and quantum informationent://SD_ILS/0/SD_ILS:3732042026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-<br/>Yer Numarası QA76.889 N54 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfacesent://SD_ILS/0/SD_ILS:5442672026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Kutateladze, S.S., editor. Taylor and Francis.<br/>Yer Numarası QA643 EB .A358413 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781134429073">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>V.A. Fock--selected works : quantum mechanics and quantum field theoryent://SD_ILS/0/SD_ILS:5412912026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Fok, V. A. (Vladimir Aleksandrovich), 1898-1974., author. Faddeev, L. D. Khalfin, L. A. Komarov, I. V.<br/>Yer Numarası QC173.97 .F6513 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781134422005">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Rodgers, Nancy, 1941-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118165690">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818931">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/00023492.html">http://catdir.loc.gov/catdir/bios/wiley043/00023492.html</a>
ebrary <a href="http://site.ebrary.com/id/10500922">http://site.ebrary.com/id/10500922</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10500922">http://site.ebrary.com/lib/alltitles/Doc?id=10500922</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebra of proofsent://SD_ILS/0/SD_ILS:2573072026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Szabo, M. E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562026-01-23T06:54:07Z2026-01-23T06:54:07ZYazar Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>