Search Results for Proof theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProof$002btheory.$0026ps$003d300?2025-03-13T22:29:05ZProof theoryent://SD_ILS/0/SD_ILS:2573042025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Takeuti, Gaisi, 1926-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104922">http://www.sciencedirect.com/science/book/9780444104922</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural Proof Theoryent://SD_ILS/0/SD_ILS:2376422025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Negri, Sara. von Plato, Jan. Ranta, Aarne.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511527340">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of proof theoryent://SD_ILS/0/SD_ILS:2565462025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Buss, Samuel R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898401">http://www.sciencedirect.com/science/book/9780444898401</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proof theory and logical complexityent://SD_ILS/0/SD_ILS:460592025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Girard, Jean-Yves.<br/>Preferred Shelf Number QA 9.54 G57 1987- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A Proof Theory for Description Logicsent://SD_ILS/0/SD_ILS:1735172025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Rademaker, Alexandre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proof Theory for Fuzzy Logicsent://SD_ILS/0/SD_ILS:1705272025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proof theory : sequent calculi and related formalismsent://SD_ILS/0/SD_ILS:3569042025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Bimbo, Katalin, 1963- author.<br/>Preferred Shelf Number ONLINE(356904.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466564688">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968ent://SD_ILS/0/SD_ILS:2572452025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422573">http://www.sciencedirect.com/science/book/9780720422573</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Factors and Factorizations of Graphs Proof Techniques in Factor Theoryent://SD_ILS/0/SD_ILS:1948602025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Applied Proof Theory: Proof Interpretations and Their Use in Mathematicsent://SD_ILS/0/SD_ILS:1879032025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms for Constructing Computably Enumerable Setsent://SD_ILS/0/SD_ILS:5203242025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211272025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissanceent://SD_ILS/0/SD_ILS:3417772025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Erickson, Matthew P.<br/>Preferred Shelf Number ONLINE(341777.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Why is there philosophy of mathematics at all?ent://SD_ILS/0/SD_ILS:3643962025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Hacking, Ian, author.<br/>Preferred Shelf Number QA8.4 H29 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A realist theory of art historyent://SD_ILS/0/SD_ILS:2585652025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Verstegen, Ian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203072462">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spaces of PL manifolds and categories of simple mapsent://SD_ILS/0/SD_ILS:3770702025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt24hqsv">http://www.jstor.org/stable/10.2307/j.ctt24hqsv</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-13T22:29:05Z2025-03-13T22:29:05ZAuthor Serre, Damien. Barroca, Bruno. Laganier, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203072820">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The nuts and bolts of proofs an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:1483742025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Cupillari, Antonella. ScienceDirect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Limits of computation an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:2862662025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear optimal control theoryent://SD_ILS/0/SD_ILS:2881282025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Berkovitz, Leonard David, 1924- Medhin, Negash G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466560277">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The nuts and bolts of proofs : an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:2704012025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Cupillari, Antonella.<br/>Preferred Shelf Number QA9.54 C86 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Semantic and Conceptual Development : An Ontological Perspectiveent://SD_ILS/0/SD_ILS:5351352025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Keil, Frank C., author. Cotter, Kevin, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Landini, Gregory. Palgrave Connect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>The history of mathematical proof in ancient traditionsent://SD_ILS/0/SD_ILS:2793702025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Chemla, Karine.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Gd̲el's way exploits into an undecidable worldent://SD_ILS/0/SD_ILS:2873062025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203169575">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Logos : Studies in theoretical and computational linguisticsent://SD_ILS/0/SD_ILS:5312572025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Blaszczak, Joanna, contributor. Brekle, Herbert E., contributor. Cavar, Damir, contributor. Didakowski, Jörg, contributor. Ebert, Christian, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proof Analysis A Contribution to Hilbert's Last Problement://SD_ILS/0/SD_ILS:2390262025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Negri, Sara. von Plato, Jan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003513">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete mathematics demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941312025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Krantz, Steven G. (Steven George), 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/discrete-mathematics-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Math proofs demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941582025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/math-proofs-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Argumentation : Proceedings of the Conference on Argumentation 1986. Perspectives and Approachesent://SD_ILS/0/SD_ILS:5340802025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Alexandrova, Donka, contributor. Allen, Mike, contributor. Apothéloz, Denis, contributor. Astroh, Michael, contributor. Bax, Marcel M.H., contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Explanation and proof in mathematics : philosophical and educational perspectivesent://SD_ILS/0/SD_ILS:1346052025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.<br/>Preferred Shelf Number QA9.54 E97 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Lerman, Manuel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Cook, Stephen. Nguyen, Phuong.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203882009">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lectures on the Curry-Howard isomorphisment://SD_ILS/0/SD_ILS:2566362025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Sørensen, Morten Heine. Urzyczyn, Paweł.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Azzouni, Jody.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Rossi, Richard J., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>The nuts and bolts of proofsent://SD_ILS/0/SD_ILS:2565112025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Cupillari, Antonella.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120885091">http://www.sciencedirect.com/science/book/9780120885091</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum computation and quantum informationent://SD_ILS/0/SD_ILS:3732042025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-<br/>Preferred Shelf Number QA76.889 N54 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Rodgers, Nancy, 1941-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Algebra of proofsent://SD_ILS/0/SD_ILS:2573072025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Szabo, M. E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562025-03-13T22:29:05Z2025-03-13T22:29:05ZAuthor Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>