Arama Sonu&ccedil;lar&#305; Proof theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProof$002btheory.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-25T15:24:21Z Proof theory ent://SD_ILS/0/SD_ILS:257304 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Takeuti, Gaisi, 1926-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104922">http://www.sciencedirect.com/science/book/9780444104922</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Structural Proof Theory ent://SD_ILS/0/SD_ILS:237642 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Negri, Sara.&#160;von Plato, Jan.&#160;Ranta, Aarne.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511527340">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Handbook of proof theory ent://SD_ILS/0/SD_ILS:256546 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Buss, Samuel R.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898401">http://www.sciencedirect.com/science/book/9780444898401</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof theory and logical complexity ent://SD_ILS/0/SD_ILS:46059 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Girard, Jean-Yves.<br/>Yer Numaras&#305;&#160;QA 9.54 G57 1987- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> A Proof Theory for Description Logics ent://SD_ILS/0/SD_ILS:173517 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Rademaker, Alexandre. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hybrid Logic and its Proof-Theory ent://SD_ILS/0/SD_ILS:205716 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Bra&uuml;ner, Torben. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Metcalfe, George. author.&#160;Olivetti, Nicola. author.&#160;Gabbay, Dov. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof theory : sequent calculi and related formalisms ent://SD_ILS/0/SD_ILS:356904 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Bimbo, Katalin, 1963- author.<br/>Yer Numaras&#305;&#160;ONLINE(356904.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781466564688">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof Theory The First Step into Impredicativity ent://SD_ILS/0/SD_ILS:185783 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Pohlers, Wolfram. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968 ent://SD_ILS/0/SD_ILS:257245 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)&#160;Kino, A.&#160;Myhill, John, 1923-1987.&#160;Vesley, Richard Eugene, 1932-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422573">http://www.sciencedirect.com/science/book/9780720422573</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Factors and Factorizations of Graphs Proof Techniques in Factor Theory ent://SD_ILS/0/SD_ILS:194860 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Akiyama, Jin. author.&#160;Kano, Mikio. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Proof Theory: Proof Interpretations and Their Use in Mathematics ent://SD_ILS/0/SD_ILS:187903 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Kohlenbach, Ulrich. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms for Constructing Computably Enumerable Sets ent://SD_ILS/0/SD_ILS:520324 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Supowit, Kenneth J. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520324.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521127 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Malvone, Vadim. editor.&#160;Murano, Aniello. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521127.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521191 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Della Vedova, Gianluca. editor.&#160;Dundua, Besik. editor.&#160;Lempp, Steffen. editor.&#160;Manea, Florin. editor. (orcid)&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521191.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521139 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Ramanayake, Revantha. editor.&#160;Urban, Josef. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521139.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521295 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Gl&auml;sser, Uwe. editor.&#160;Creissac Campos, Jose. editor.&#160;M&eacute;ry, Dominique. editor.&#160;Palanque, Philippe. editor. (orcid)&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521295.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimar&atilde;es, Portugal, March 29 --April 1, 2015. Proceedings, Part I ent://SD_ILS/0/SD_ILS:518985 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Gaspar-Cunha, Ant&oacute;nio. editor.&#160;Henggeler Antunes, Carlos. editor.&#160;Coello, Carlos Coello. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(518985.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 Papers ent://SD_ILS/0/SD_ILS:519040 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Aher, Martin. editor.&#160;Hole, Daniel. editor.&#160;Je&#345;&aacute;bek, Emil. editor.&#160;Kupke, Clemens. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(519040.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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:519146 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(519146.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(519161.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Why is there philosophy of mathematics at all? ent://SD_ILS/0/SD_ILS:364396 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Hacking, Ian, author.<br/>Yer Numaras&#305;&#160;QA8.4 H29 2014<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissance ent://SD_ILS/0/SD_ILS:341777 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Erickson, Matthew P.<br/>Yer Numaras&#305;&#160;ONLINE(341777.1)<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The nuts and bolts of proofs : an introduction to mathematical proofs ent://SD_ILS/0/SD_ILS:270401 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Cupillari, Antonella.<br/>Yer Numaras&#305;&#160;QA9.54 C86 2013<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;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 2011 ent://SD_ILS/0/SD_ILS:284527 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Serre, Damien.&#160;Barroca, Bruno.&#160;Laganier, Richard.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9780203072820">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Nonlinear optimal control theory ent://SD_ILS/0/SD_ILS:288128 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Berkovitz, Leonard David, 1924-&#160;Medhin, Negash G.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781466560277">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The nuts and bolts of proofs an introduction to mathematical proofs ent://SD_ILS/0/SD_ILS:148374 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Cupillari, Antonella.&#160;ScienceDirect (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Spaces of PL manifolds and categories of simple maps ent://SD_ILS/0/SD_ILS:377070 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Waldhausen, Friedhelm, 1938-&#160;Jahren, Bj&oslash;rn, 1945-&#160;Rognes, John.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt24hqsv">http://www.jstor.org/stable/10.2307/j.ctt24hqsv</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Limits of computation an introduction to the undecidable and the intractable ent://SD_ILS/0/SD_ILS:286266 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Reiter, Edna E. (Edna Elizabeth)&#160;Johnson, Clayton Matthew.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A realist theory of art history ent://SD_ILS/0/SD_ILS:258565 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Verstegen, Ian.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203072462">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Frege's notations what they are and how they mean ent://SD_ILS/0/SD_ILS:279084 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Landini, Gregory.&#160;Palgrave Connect (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Gd&#818;el's way exploits into an undecidable world ent://SD_ILS/0/SD_ILS:287306 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Chaitin, Gregory J.&#160;Doria, Francisco Antn&#805;io.&#160;Costa, Newton C. A. da.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9780203169575">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The history of mathematical proof in ancient traditions ent://SD_ILS/0/SD_ILS:279370 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Chemla, Karine.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Discrete mathematics demystified a self-teaching guide ent://SD_ILS/0/SD_ILS:294131 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Krantz, Steven G. (Steven George), 1951-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://mhebooklibrary.com/reader/discrete-mathematics-demystified">Subscription required</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Math proofs demystified a self-teaching guide ent://SD_ILS/0/SD_ILS:294158 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Gibilisco, Stan.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://mhebooklibrary.com/reader/math-proofs-demystified">Subscription required</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof Analysis A Contribution to Hilbert's Last Problem ent://SD_ILS/0/SD_ILS:239026 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Negri, Sara.&#160;von Plato, Jan.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9781139003513">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Explanation and proof in mathematics : philosophical and educational perspectives ent://SD_ILS/0/SD_ILS:134605 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Hanna, G.&#160;Jahnke, H. N. (Hans Niels), 1948-&#160;Pulte, Helmut.<br/>Yer Numaras&#305;&#160;QA9.54 E97 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> A Framework for Priority Arguments ent://SD_ILS/0/SD_ILS:236766 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Lerman, Manuel.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logical Foundations of Proof Complexity ent://SD_ILS/0/SD_ILS:237834 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Cook, Stephen.&#160;Nguyen, Phuong.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Teaching and learning proof across the grades a K-16 perspective ent://SD_ILS/0/SD_ILS:266955 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Stylianou, Despina A.&#160;Blanton, Maria L.&#160;Knuth, Eric J.&#160;National Council of Teachers of Mathematics.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203882009">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Lectures on the Curry-Howard isomorphism ent://SD_ILS/0/SD_ILS:256636 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;S&oslash;rensen, Morten Heine.&#160;Urzyczyn, Pawe&#322;.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theorems, corollaries, lemmas, and methods of proof ent://SD_ILS/0/SD_ILS:303091 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Rossi, Richard J., 1956-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tracking reason proof, consequence, and truth ent://SD_ILS/0/SD_ILS:231352 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Azzouni, Jody.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Quantum computation and quantum information ent://SD_ILS/0/SD_ILS:373204 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Nielsen, Michael A. 1974-&#160;Chuang, Isaac L., 1968-<br/>Yer Numaras&#305;&#160;QA76.889 N54 2005<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The nuts and bolts of proofs ent://SD_ILS/0/SD_ILS:256511 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Cupillari, Antonella.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120885091">http://www.sciencedirect.com/science/book/9780120885091</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Linear Logic in Computer Science ent://SD_ILS/0/SD_ILS:237736 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Ehrhard, Thomas.&#160;Girard, Jean-Yves.&#160;Ruet, Paul.&#160;Scott, Philip.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Learning to reason an introduction to logic, sets and relations ent://SD_ILS/0/SD_ILS:300357 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Rodgers, Nancy, 1941-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebra of proofs ent://SD_ILS/0/SD_ILS:257307 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Szabo, M. E.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic in algebraic form Three languages and theories ent://SD_ILS/0/SD_ILS:257256 2024-12-25T15:24:21Z 2024-12-25T15:24:21Z Yazar&#160;Craig, William, 1918-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>