Logic, Symbolic and mathematical

Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings / by: (Language materials, printed)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (Language materials, printed)

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

Giuseppe Peano between mathematics and logic = proceeding 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)

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

Kurt Godel : = essays for his centennial / by: (Language materials, printed)

Interactive theorem proving = 5th 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)

Logics in artificial intelligence = 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings / by: (Electronic resources)

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

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

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

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

Introduction to mathematical proof : = a transition to advanced mathematics / by: (Language materials, printed)

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

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

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

Logic, language, information, and computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (Language materials, printed)

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

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

A Course on mathematical logic / by: (Language materials, printed)

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