Search Results for Proof theory. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProof$002btheory.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300?dt=list2026-03-26T17:35:14ZProof theoryent://SD_ILS/0/SD_ILS:2573042026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2376422026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2565462026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>A Proof Theory for Description Logicsent://SD_ILS/0/SD_ILS:1735172026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2057162026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:1705272026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:5467332026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Bimbo, Katalin, 1963, author.<br/>Preferred Shelf Number QA9.54 .B55 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466564688">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2572452026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:1948602026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:1879032026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>BEGINNER'S GUIDE TO MATHEMATICAL PROOFent://SD_ILS/0/SD_ILS:5911452026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor DeBonis, Mark J.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032687728">https://www.taylorfrancis.com/books/9781032687728</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maximal Planar Graph Theory and the Four-Color Conjectureent://SD_ILS/0/SD_ILS:6085862026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Xu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4745-3">https://doi.org/10.1007/978-981-96-4745-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computationent://SD_ILS/0/SD_ILS:6088592026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88946-2">https://doi.org/10.1007/978-3-031-88946-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A bridge to higher mathematicsent://SD_ILS/0/SD_ILS:5543962026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Kirkwood, James R., author. Robeva, Raina S., author.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032623849">https://www.taylorfrancis.com/books/9781032623849</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Taking the "oof!" out of proofsent://SD_ILS/0/SD_ILS:5610142026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Draganov, Alexandr, author.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003456766">https://www.taylorfrancis.com/books/9781003456766</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6041452026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6041462026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Efficient Energy-Saving Control and Optimization for Multi-Unit Systems A Guide for Electrical Engineersent://SD_ILS/0/SD_ILS:6042822026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Yao, Fulai. author. Yao, Yaming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-4492-3">https://doi.org/10.1007/978-981-97-4492-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environmentsent://SD_ILS/0/SD_ILS:5985722026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Xia, Qi, author.<br/>Preferred Shelf Number TK5102.94 .G365 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Limits of AI - theoretical, practical, ethicalent://SD_ILS/0/SD_ILS:6031102026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68290-6">https://doi.org/10.1007/978-3-662-68290-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6036282026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61716-4">https://doi.org/10.1007/978-3-031-61716-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6020672026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47751-5">https://doi.org/10.1007/978-3-031-47751-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6020682026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47754-6">https://doi.org/10.1007/978-3-031-47754-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Proveent://SD_ILS/0/SD_ILS:6021632026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</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:5211272026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:5211392026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:5211912026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Algorithms for Constructing Computably Enumerable Setsent://SD_ILS/0/SD_ILS:5203242026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212952026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Proofs 101 : an introduction to formal mathematicsent://SD_ILS/0/SD_ILS:5546732026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Kirtland, Joseph (Mathematics professor), author.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003082927">https://www.taylorfrancis.com/books/9781003082927</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless blockchain : principles, technologies and applicationsent://SD_ILS/0/SD_ILS:5971402026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.<br/>Preferred Shelf Number QA76.9 .B56<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A modern introduction to fuzzy mathematicsent://SD_ILS/0/SD_ILS:5958362026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Syropoulos, Apostolos, author.<br/>Preferred Shelf Number QA248.5 .S97 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal semantics in modern type theoriesent://SD_ILS/0/SD_ILS:5965052026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.<br/>Preferred Shelf Number QA76.5913<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Gaussian Measures in Hilbert Space : Construction and Propertiesent://SD_ILS/0/SD_ILS:5957032026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Kukush, Alexander.<br/>Preferred Shelf Number QA312<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476825">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476825</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>UNDERSTANDING MATHEMATICAL PROOFent://SD_ILS/0/SD_ILS:5471872026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor TAYLOR, JOHN.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429190735">https://www.taylorfrancis.com/books/9780429190735</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159802026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Variational Continuum Multiphase Poroelasticity Theory and Applicationsent://SD_ILS/0/SD_ILS:6172702026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Serpieri, Roberto. author. Travascio, Francesco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3452-7">https://doi.org/10.1007/978-981-10-3452-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to proof through real analysisent://SD_ILS/0/SD_ILS:5936702026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.<br/>Preferred Shelf Number QA9.54 .M335 2017<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On Sets and Graphs Perspectives on Logic and Combinatoricsent://SD_ILS/0/SD_ILS:6117362026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54981-1">https://doi.org/10.1007/978-3-319-54981-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreichent://SD_ILS/0/SD_ILS:6178082026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57048-8">https://doi.org/10.1007/978-3-319-57048-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:6133592026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Bonacina, Ilario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73453-8">https://doi.org/10.1007/978-3-319-73453-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear Model Predictive Control Theory and Algorithmsent://SD_ILS/0/SD_ILS:6183872026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Grüne, Lars. author. Pannek, Jürgen. author. (orcid)0000-0001-5109-9627 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46024-6">https://doi.org/10.1007/978-3-319-46024-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6123102026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6163852026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6171822026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</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:5190402026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:5189852026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:5191462026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Software engineering mathematicsent://SD_ILS/0/SD_ILS:5425122026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Woodcock, Janet, author. Taylor and Francis.<br/>Preferred Shelf Number QA76.758 .W661989<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780429019111">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Gunderson, David S., author.<br/>Preferred Shelf Number QA9.54 G863 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Small and short-range radar systemsent://SD_ILS/0/SD_ILS:5476192026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Charvat, Gregory L., author.<br/>Preferred Shelf Number TK6575 .C4746 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439866009">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Introduction to mathematical proofsent://SD_ILS/0/SD_ILS:5477402026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Roberts, Charles, author. Taylor and Francis.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format: Books<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:3417772026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Nonlinear optimal control theoryent://SD_ILS/0/SD_ILS:5467192026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Berkovitz, Leonard David, 1924, author. Medhin, Negash G.<br/>Preferred Shelf Number QA402.35 .B47 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466560277">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Limits of computation : an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:5412002026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.<br/>Preferred Shelf Number QA267.7 .R445 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439882078">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>The nuts and bolts of proofs an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:1483742026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>A realist theory of art historyent://SD_ILS/0/SD_ILS:2585652026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:3770702026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Godel's way : exploits into an undecidable worldent://SD_ILS/0/SD_ILS:5405362026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.<br/>Preferred Shelf Number QA9.65 .C428 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781136587641">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Frege's notations what they are and how they meanent://SD_ILS/0/SD_ILS:2790842026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2793702026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Discrete mathematics demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941312026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2941582026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Proof Analysis A Contribution to Hilbert's Last Problement://SD_ILS/0/SD_ILS:2390262026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Teaching and learning proof across the grades a K-16 perspectiveent://SD_ILS/0/SD_ILS:2669552026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Food lipids : chemistry, nutrition, and biotechnologyent://SD_ILS/0/SD_ILS:5387932026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Akoh, Casimir C., 1955- Min, David B.<br/>Preferred Shelf Number QP751 .F647 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439875551">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Tracking reason proof, consequence, and truthent://SD_ILS/0/SD_ILS:2313522026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Lectures on the Curry-Howard isomorphisment://SD_ILS/0/SD_ILS:2566362026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>Theorems, corollaries, lemmas, and methods of proofent://SD_ILS/0/SD_ILS:3030912026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfacesent://SD_ILS/0/SD_ILS:5442672026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Kutateladze, S.S., editor. Taylor and Francis.<br/>Preferred Shelf Number QA643 EB .A358413 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781134429073">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The nuts and bolts of proofsent://SD_ILS/0/SD_ILS:2565112026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>V.A. Fock--selected works : quantum mechanics and quantum field theoryent://SD_ILS/0/SD_ILS:5412912026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor Fok, V. A. (Vladimir Aleksandrovich), 1898-1974., author. Faddeev, L. D. Khalfin, L. A. Komarov, I. V.<br/>Preferred Shelf Number QC173.97 .F6513 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781134422005">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:3003572026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2573072026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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:2572562026-03-26T17:35:14Z2026-03-26T17:35:14ZAuthor 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/>