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:07:05ZProof theoryent://SD_ILS/0/SD_ILS:2573042026-01-23T06:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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:07:05Z2026-01-23T06:07:05ZYazar 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/>