Arama Sonuçları Proof theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProof$002btheory.$0026te$003dILS$0026ps$003d300?dt=list2024-12-25T15:24:21ZProof theoryent://SD_ILS/0/SD_ILS:2573042024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2376422024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2565462024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:460592024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:1735172024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2057162024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:1705272024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:3569042024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:1857832024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2572452024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:1948602024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:1879032024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Algorithms for Constructing Computably Enumerable Setsent://SD_ILS/0/SD_ILS:5203242024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Yer Numarası XX(520324.1)<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/>Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211272024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521127.1)<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:5211912024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(521191.1)<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/>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:5211392024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521139.1)<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/>Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212952024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(521295.1)<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/>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:5189852024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518985.1)<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:5190402024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519040.1)<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/>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:5191462024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519146.1)<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:5191612024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(519161.1)<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/>Why is there philosophy of mathematics at all?ent://SD_ILS/0/SD_ILS:3643962024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar Hacking, Ian, author.<br/>Yer Numarası QA8.4 H29 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissanceent://SD_ILS/0/SD_ILS:3417772024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>The nuts and bolts of proofs : an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:2704012024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2845272024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Nonlinear optimal control theoryent://SD_ILS/0/SD_ILS:2881282024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>The nuts and bolts of proofs an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:1483742024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:3770702024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Limits of computation an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:2862662024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>A realist theory of art historyent://SD_ILS/0/SD_ILS:2585652024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Gd̲el's way exploits into an undecidable worldent://SD_ILS/0/SD_ILS:2873062024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>The history of mathematical proof in ancient traditionsent://SD_ILS/0/SD_ILS:2793702024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Discrete mathematics demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941312024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2941582024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2390262024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Explanation and proof in mathematics : philosophical and educational perspectivesent://SD_ILS/0/SD_ILS:1346052024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2367662024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Lectures on the Curry-Howard isomorphisment://SD_ILS/0/SD_ILS:2566362024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:3030912024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Quantum computation and quantum informationent://SD_ILS/0/SD_ILS:3732042024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>The nuts and bolts of proofsent://SD_ILS/0/SD_ILS:2565112024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:3003572024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2573072024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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:2572562024-12-25T15:24:21Z2024-12-25T15:24:21ZYazar 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/>