Arama Sonuçları Proof theory. - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProof$002btheory.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2025-03-16T12:06:49ZProof theoryent://SD_ILS/0/SD_ILS:2573042025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2376422025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2565462025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:460592025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:1735172025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2057162025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:1705272025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:3569042025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Bimbo, Katalin, 1963- author.<br/>Yer Numarası ONLINE(356904.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466564688">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2572452025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:1948602025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:1879032025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211272025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>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:5211392025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Algorithms for Constructing Computably Enumerable Setsent://SD_ILS/0/SD_ILS:5203242025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>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:5211912025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:5212952025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>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:5190402025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>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:5189852025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>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:5191612025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>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:5191462025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissanceent://SD_ILS/0/SD_ILS:3417772025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:3643962025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Hacking, Ian, author.<br/>Yer Numarası QA8.4 H29 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The nuts and bolts of proofs an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:1483742025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>A realist theory of art historyent://SD_ILS/0/SD_ILS:2585652025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2704012025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Cupillari, Antonella.<br/>Yer Numarası QA9.54 C86 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011ent://SD_ILS/0/SD_ILS:2845272025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Serre, Damien. Barroca, Bruno. Laganier, Richard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203072820">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<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:2862662025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</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:3770702025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2881282025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Berkovitz, Leonard David, 1924- Medhin, Negash G.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466560277">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantic and Conceptual Development : An Ontological Perspectiveent://SD_ILS/0/SD_ILS:5351352025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Keil, Frank C., author. Cotter, Kevin, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.4159/harvard.9780674181816">https://doi.org/10.4159/harvard.9780674181816</a>
<a href="https://www.degruyter.com/isbn/9780674181816">https://www.degruyter.com/isbn/9780674181816</a>
Cover <a href="https://www.degruyter.com/cover/covers/9780674181816.jpg">https://www.degruyter.com/cover/covers/9780674181816.jpg</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The history of mathematical proof in ancient traditionsent://SD_ILS/0/SD_ILS:2793702025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Gd̲el's way exploits into an undecidable worldent://SD_ILS/0/SD_ILS:2873062025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203169575">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Language and Logos : Studies in theoretical and computational linguisticsent://SD_ILS/0/SD_ILS:5312572025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Blaszczak, Joanna, contributor. Brekle, Herbert E., contributor. Cavar, Damir, contributor. Didakowski, Jörg, contributor. Ebert, Christian, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1524/9783050062365">https://doi.org/10.1524/9783050062365</a>
<a href="https://www.degruyter.com/isbn/9783050062365">https://www.degruyter.com/isbn/9783050062365</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783050062365/original">https://www.degruyter.com/document/cover/isbn/9783050062365/original</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:2390262025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Discrete mathematics demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941312025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2941582025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Argumentation : Proceedings of the Conference on Argumentation 1986. Perspectives and Approachesent://SD_ILS/0/SD_ILS:5340802025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Alexandrova, Donka, contributor. Allen, Mike, contributor. Apothéloz, Denis, contributor. Astroh, Michael, contributor. Bax, Marcel M.H., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110869163">https://doi.org/10.1515/9783110869163</a>
<a href="https://www.degruyter.com/isbn/9783110869163">https://www.degruyter.com/isbn/9783110869163</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110869163/original">https://www.degruyter.com/document/cover/isbn/9783110869163/original</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:1346052025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Cook, Stephen. Nguyen, Phuong.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2669552025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Lectures on the Curry-Howard isomorphisment://SD_ILS/0/SD_ILS:2566362025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar Rossi, Richard J., 1956-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The nuts and bolts of proofsent://SD_ILS/0/SD_ILS:2565112025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:3732042025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2573072025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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:2572562025-03-16T12:06:49Z2025-03-16T12:06:49ZYazar 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/>