Results for "Intuitionistic logic"

Results for "Intuitionistic logic" Showing 1 - 50 results of 59 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Intuitionistic+logic%22&type=AllFields&lng=en 59 0 50 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-11041-7 https://find.library.upatras.gr/Record/978-3-319-11041-7 Electronic eBook 2015 0 Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / Fri, 01 Jan 2016 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-44561-8 https://find.library.upatras.gr/Record/978-3-319-44561-8 O'Regan, Gerard Electronic eBook 2016 O'Regan, Gerard 0 Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / Tue, 01 Jan 2002 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-45620-9 https://find.library.upatras.gr/Record/978-3-540-45620-9 Electronic eBook 2002 0 Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings / Fri, 01 Jan 1999 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-46674-1 https://find.library.upatras.gr/Record/978-3-540-46674-1 Electronic eBook 1999 0 Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / Wed, 01 Jan 1997 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-69806-7 https://find.library.upatras.gr/Record/978-3-540-69806-7 Electronic eBook 1997 0 Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings / Sat, 01 Jan 2000 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-44957-7 https://find.library.upatras.gr/Record/978-3-540-44957-7 Electronic eBook 2000 0 CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings / Wed, 01 Jan 1997 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-69188-4 https://find.library.upatras.gr/Record/978-3-540-69188-4 Electronic eBook 1997 0 Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / Wed, 01 Jan 1997 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-69201-0 https://find.library.upatras.gr/Record/978-3-540-69201-0 Electronic eBook 1997 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings / Fri, 01 Jan 1999 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-48754-8 https://find.library.upatras.gr/Record/978-3-540-48754-8 Electronic eBook 1999 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / Sat, 01 Jan 2000 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-45008-5 https://find.library.upatras.gr/Record/978-3-540-45008-5 Electronic eBook 2000 0 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 / Thu, 01 Jan 2015 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-662-46678-0 https://find.library.upatras.gr/Record/978-3-662-46678-0 Electronic eBook 2015 0 A Short Introduction to Intuitionistic Logic Sat, 01 Jan 2000 14:28:01 +0200 https://find.library.upatras.gr/Record/978-0-306-46975-6 https://find.library.upatras.gr/Record/978-0-306-46975-6 Mints, Grigori Electronic eBook 2000 Mints, Grigori 0 A logical Approach to Philosophy Essays in Honour of Graham Solomon / Sun, 01 Jan 2006 14:28:01 +0200 https://find.library.upatras.gr/Record/978-1-4020-4054-2 https://find.library.upatras.gr/Record/978-1-4020-4054-2 Electronic eBook 2006 0 A Mathematical Prelude to the Philosophy of Mathematics Wed, 01 Jan 2014 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-05816-0 https://find.library.upatras.gr/Record/978-3-319-05816-0 Pollard, Stephen Electronic eBook 2014 Pollard, Stephen 0 Saved from the Cellar Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics / Sun, 01 Jan 2017 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-42120-9 https://find.library.upatras.gr/Record/978-3-319-42120-9 von Plato, Jan Electronic eBook 2017 von Plato, Jan 0 Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / Sun, 01 Jan 2017 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-64021-1 https://find.library.upatras.gr/Record/978-3-319-64021-1 O'Regan, Gerard Electronic eBook 2017 O'Regan, Gerard 0 Proof Theory and Algebra in Logic Tue, 01 Jan 2019 14:28:01 +0200 https://find.library.upatras.gr/Record/978-981-13-7997-0 https://find.library.upatras.gr/Record/978-981-13-7997-0 Ono, Hiroakira Electronic eBook 2019 Ono, Hiroakira 0 Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / Tue, 01 Jan 2008 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-69937-8 https://find.library.upatras.gr/Record/978-3-540-69937-8 Electronic eBook 2008 0 Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / Tue, 01 Jan 2008 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-71070-7 https://find.library.upatras.gr/Record/978-3-540-71070-7 Electronic eBook 2008 0 Logics and Falsifications A New Perspective on Constructivist Semantics / Wed, 01 Jan 2014 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-05206-9 https://find.library.upatras.gr/Record/978-3-319-05206-9 Kapsner, Andreas Electronic eBook 2014 Kapsner, Andreas 0 FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / Sat, 01 Jan 2005 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-32419-5 https://find.library.upatras.gr/Record/978-3-540-32419-5 Electronic eBook 2005 0 Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM’06 Conference held in Ustrón, Poland, June 19-22, 2006 / Sun, 01 Jan 2006 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-33521-4 https://find.library.upatras.gr/Record/978-3-540-33521-4 Electronic eBook 2006 0 Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / Sun, 01 Jan 2006 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-35468-0 https://find.library.upatras.gr/Record/978-3-540-35468-0 Electronic eBook 2006 0 Kolmogorov’s Heritage in Mathematics Mon, 01 Jan 2007 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-36351-4 https://find.library.upatras.gr/Record/978-3-540-36351-4 Electronic eBook 2007 0 Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / Sun, 01 Jan 2006 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-39627-7 https://find.library.upatras.gr/Record/978-3-540-39627-7 Electronic eBook 2006 0 Apartness and Uniformity A Constructive Development / Sat, 01 Jan 2011 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-22415-7 https://find.library.upatras.gr/Record/978-3-642-22415-7 Bridges, Douglas S. Electronic eBook 2011 Bridges, Douglas S. 0 Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / Sun, 01 Jan 2006 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-48282-6 https://find.library.upatras.gr/Record/978-3-540-48282-6 Electronic eBook 2006 0 Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / Thu, 01 Jan 2009 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-00665-4 https://find.library.upatras.gr/Record/978-3-642-00665-4 Electronic eBook 2009 0 Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / Sun, 01 Jan 2017 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-63139-4 https://find.library.upatras.gr/Record/978-3-319-63139-4 Electronic eBook 2017 0 Ewa Orłowska on Relational Methods in Logic and Computer Science Mon, 01 Jan 2018 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-319-97879-6 https://find.library.upatras.gr/Record/978-3-319-97879-6 Electronic eBook 2018 0 Mathesis Universalis, Computability and Proof Tue, 01 Jan 2019 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-030-20447-1 https://find.library.upatras.gr/Record/978-3-030-20447-1 Electronic eBook 2019 0 Automated Deduction - CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings / Tue, 01 Jan 2019 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-030-29436-6 https://find.library.upatras.gr/Record/978-3-030-29436-6 Electronic eBook 2019 0 Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings / Thu, 01 Jan 2009 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-02261-6 https://find.library.upatras.gr/Record/978-3-642-02261-6 Electronic eBook 2009 0 Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / Fri, 01 Jan 2010 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-13824-9 https://find.library.upatras.gr/Record/978-3-642-13824-9 Electronic eBook 2010 0 Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / Fri, 01 Jan 2010 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-15349-5 https://find.library.upatras.gr/Record/978-3-642-15349-5 Electronic eBook 2010 0 Advances in Artificial Intelligence 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / Fri, 01 Jan 2010 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-16761-4 https://find.library.upatras.gr/Record/978-3-642-16761-4 Electronic eBook 2010 0 Constructive Negations and Paraconsistency Tue, 01 Jan 2008 14:28:01 +0200 https://find.library.upatras.gr/Record/978-1-4020-6867-6 https://find.library.upatras.gr/Record/978-1-4020-6867-6 Odintsov, Sergei P. Electronic eBook 2008 Odintsov, Sergei P. 0 Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / Sat, 01 Jan 2005 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-31822-4 https://find.library.upatras.gr/Record/978-3-540-31822-4 Electronic eBook 2005 0 Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings / Tue, 01 Jan 2019 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-662-60292-8 https://find.library.upatras.gr/Record/978-3-662-60292-8 Electronic eBook 2019 0 Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / Mon, 01 Jan 2007 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-72734-7 https://find.library.upatras.gr/Record/978-3-540-72734-7 Electronic eBook 2007 0 Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / Mon, 01 Jan 2007 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-73099-6 https://find.library.upatras.gr/Record/978-3-540-73099-6 Electronic eBook 2007 0 Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / Mon, 01 Jan 2007 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-73595-3 https://find.library.upatras.gr/Record/978-3-540-73595-3 Electronic eBook 2007 0 Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / Mon, 01 Jan 2007 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-74915-8 https://find.library.upatras.gr/Record/978-3-540-74915-8 Electronic eBook 2007 0 Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / Tue, 01 Jan 2008 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-540-85110-3 https://find.library.upatras.gr/Record/978-3-540-85110-3 Electronic eBook 2008 0 Belief Revision in Non-Classical Logics Tue, 01 Jan 2013 14:28:01 +0200 https://find.library.upatras.gr/Record/978-1-4471-4186-0 https://find.library.upatras.gr/Record/978-1-4471-4186-0 Ribeiro, Márcio Moretto Electronic eBook 2013 Ribeiro, Márcio Moretto 0 Philosophical and Mathematical Logic Mon, 01 Jan 2018 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-030-03255-5 https://find.library.upatras.gr/Record/978-3-030-03255-5 de Swart, Harrie Electronic eBook 2018 de Swart, Harrie 0 Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / Thu, 01 Jan 2009 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-04222-5 https://find.library.upatras.gr/Record/978-3-642-04222-5 Electronic eBook 2009 0 Logical Tools for Handling Change in Agent-Based Systems Fri, 01 Jan 2010 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-642-04407-6 https://find.library.upatras.gr/Record/978-3-642-04407-6 Gabbay, Dov M. Electronic eBook 2010 Gabbay, Dov M. 0 One Hundred Years of Intuitionism (1907–2007) The Cerisy Conference / Tue, 01 Jan 2008 14:28:01 +0200 https://find.library.upatras.gr/Record/978-3-7643-8653-5 https://find.library.upatras.gr/Record/978-3-7643-8653-5 Electronic eBook 2008 0 The Realism-Antirealism Debate in the Age of Alternative Logics Sun, 01 Jan 2012 14:28:01 +0200 https://find.library.upatras.gr/Record/978-94-007-1923-1 https://find.library.upatras.gr/Record/978-94-007-1923-1 Electronic eBook 2012 0