Logic, Symbolic and mathematical

Logica Universalis :Towards a General Theory of Logic / by: (Electronic resources)

A Logical Approach to Philosophy :Essays in Honour of Graham Solomon / by: (Electronic resources)

The Age of Alternative Logics :Assessing Philosophy of Logic and Mathematics Today / by: (Electronic resources)

18 Unconventional Essays on the Nature of Mathematics / by: (Electronic resources)

Mathematical Problems from Applied Logic I :Logics for the XXIst Century / by: (Electronic resources)

Notes on Set Theory / by: (Electronic resources)

A Concise Introduction to Mathematical Logic / by: (Electronic resources)

Problems and Theorems in Classical Set Theory / by: (Electronic resources)

Finite Model Theory / by: (Electronic resources)

Axiom of Choice / by: (Electronic resources)

Function Algebras on Finite Sets :A Basic Course on Many-Valued Logic and Clone Theory / by: (Electronic resources)

Set Theory :Centre de Recerca Matematica Barcelona, 2003-2004 / by: (Electronic resources)

The Structure of Models of Peano Arithmetic by: (Electronic resources)

Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers by: (Electronic resources)

Formal Concept Analysis (vol. # 3874)4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / by: (Electronic resources)

Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / by: (Electronic resources)

Grammatical Inference: Algorithms and Applications8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings / by: (Electronic resources)

Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Electronic resources)

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Electronic resources)

Formal Concept AnalysisThird International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by: (Electronic resources)

Automated Deduction - CADE-2020th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / by: (Electronic resources)

Frontiers of Combining Systems :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings by: (Electronic resources)

Grammatical inferencealgorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings / by: (Language materials, printed)

Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV / by: (Electronic resources)

Logic and its applicationsthird Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Electronic resources)

Logic functions and equationsexamples and exercises / by: (Electronic resources)

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Electronic resources)

Automated deduction, CADE-1919th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / by: (Electronic resources)

Discrete mathematics and theoretical computer science4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings / by: (Electronic resources)

Artificial intelligence and symbolic computation7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings / by: (Electronic resources)

Automated deduction in geometry4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / by: (Electronic resources)

Concept latticesSecond International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings / by: (Electronic resources)

Grammatical inferencealgorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings / by: (Electronic resources)

Logics in artificial intelligence9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings / by: (Electronic resources)

Formal concept analysis7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / by: (Electronic resources)

Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (Electronic resources)

Advances in logic based intelligent systemsselected papers of LAPTEC 2005 / by: (Electronic resources)

Intelligent computer mathematics16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings / by: (Electronic resources)

Frontiers of combining systems7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / by: (Electronic resources)

Schaum's outline of discrete mathematics by: (Electronic resources)

Carnap's Logical syntax of language by: (Electronic resources)

Automated deduction in geometryInternational Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / by: (Electronic resources)

Automated deduction, CADE-1414th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / by: (Electronic resources)

Computational logic and proof theory5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / by: (Electronic resources)

Logical foundations of computer science4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / by: (Electronic resources)

Artificial intelligence and symbolic computationInternational Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / by: (Electronic resources)

Automated deduction, CADE-1515th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / by: (Electronic resources)

Grammatical inference4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / by: (Electronic resources)

Logics in artificial intelligenceEuropean Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / by: (Electronic resources)

Theorem proving in higher order logics11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings / by: (Electronic resources)

Automated deduction in geometrySecond International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / by: (Electronic resources)

Automated deduction - CADE-1616th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / by: (Electronic resources)

Automated deduction - CADE-1717th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / by: (Electronic resources)

Frontiers of combining systemsthird international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings / by: (Electronic resources)

Grammatical inferencealgorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / by: (Electronic resources)

Artificial intelligence and symbolic computationInternational Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / by: (Electronic resources)

Automated deduction in geometrythird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / by: (Electronic resources)

Artificial intelligence, automated reasoning, and symbolic computationjoint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / by: (Electronic resources)

Automated deduction-CADE-1818th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / by: (Electronic resources)

Frontiers of combining systems4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / by: (Electronic resources)

Grammatical inferencealgorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings / by: (Electronic resources)

Logics in artificial intelligence8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings / by: (Electronic resources)

Intelligent computer mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings / by: (Electronic resources)

Advances in technological applications of logical and intelligent systemsselected papers from the Sixth Congress on Logic Applied to Technology / by: (Electronic resources)

Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (Electronic resources)

Formal concept analysis8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings / by: (Electronic resources)

Logic and the foundations of game and decision theory - LOFT 88th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (Electronic resources)

Logics in artificial intelligence12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings / by: (Electronic resources)

Grammatical inferencetheoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings / by: (Electronic resources)

Logic and its applications4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (Electronic resources)

Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Electronic resources)

Logic, language, information and computation18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (Electronic resources)

Giuseppe Peano between mathematics and logicproceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 / by: (Electronic resources)

Automated deductionCADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (Electronic resources)

Frontiers of combining systems8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings / by: (Electronic resources)

Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (Electronic resources)

Logics in artificial intelligence13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings / by: (Electronic resources)

Introduction to mathematical proofs :a transition / by: (Language materials, printed)

Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (Electronic resources)

Interactive theorem proving5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Logic, language, information, and computation21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / by: (Electronic resources)

Logics in artificial intelligence14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings / by: (Language materials, printed)

Artificial intelligence and symbolic computation12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings / by: (Electronic resources)

Logic and its applications6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings / by: (Electronic resources)

Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (Electronic resources)

Facets of uncertainties and applicationsICFUA, Kolkata, India, December 2013 / by: (Electronic resources)

Logic, language, information, and computation22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (Electronic resources)

Automated deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (Electronic resources)

One hundred prisoners and a light bulb by: (Electronic resources)

Interactive theorem proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (Electronic resources)

Frontiers of combining systems10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (Electronic resources)

Structural analysis of non-classical logicsthe proceedings of the second Taiwan Philosophical Logic Colloquium / by: (Electronic resources)

Logic, language, information, and computation23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (Electronic resources)

Logic and its applications7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / by: (Electronic resources)

Automated deduction - CADE 2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings / by: (Electronic resources)

Frontiers of combining systems11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings / by: (Electronic resources)

Logic, language, information, and computation25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings / by: (Electronic resources)

Rules and reasoningsecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings / by: (Electronic resources)

Artificial intelligence and symbolic computation13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings / by: (Electronic resources)

Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (Electronic resources)

Logic, language, information, and computation24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (Electronic resources)

Logics in artificial intelligence16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings / by: (Electronic resources)

Logic, language, information, and computation26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings / by: (Electronic resources)

Theory of graded consequencea general framework for logics of uncertainty / by: (Electronic resources)

Rules and reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (Electronic resources)

Model-based safety and assessment6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (Electronic resources)

Logic and argumentationthird International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings / by: (Electronic resources)

Model-based safety and assessment7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings / by: (Electronic resources)

Automated deduction - CADE 2727th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings / by: (Electronic resources)

Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / by: (Electronic resources)

Frontiers of combining systems12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings / by: (Electronic resources)

Logic and its applications8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019 : proceedings / by: (Electronic resources)

Statistical learning with math and R100 exercises for building logic / by: (Electronic resources)

Logics in artificial intelligence17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings / by: (Electronic resources)

Automated deduction - CADE 2828th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings / by: (Electronic resources)

Frontiers of combining systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / by: (Electronic resources)

Logic, language, information, and computation27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / by: (Electronic resources)

Logic and argumentation4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings / by: (Electronic resources)

Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (Electronic resources)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (Electronic resources)

Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings / by: (Electronic resources)

Model-based safety and assessment8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings / by: (Electronic resources)

Logic, language, information, and computation29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings / by: (Electronic resources)

Automated deduction - CADE 2929th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings / by: (Electronic resources)

Logic and argumentation5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings / by: (Electronic resources)

Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings / by: (Electronic resources)

Logics in artificial intelligence18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (Electronic resources)

Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (Electronic resources)

Logic, language, information, and computation30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings / by: (Electronic resources)

Logic and argumentation6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings / by: (Electronic resources)