Home Advanced Search

Advanced Search - Page 1

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
  • PDF
  • English
  • Year: 2012
  • Author: Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.)
Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
  • PDF
  • English
  • Year: 2012
  • Author: Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.)
Logic as a tool: a guide to formal logical reasoning
  • EPUB
  • English
  • Year: 2016
  • Author: Goranko, Valentin
Logic as a Tool: A Guide to Formal Logical Reasoning
  • PDF
  • English
  • Year: 2016
  • Author: Valentin Goranko
Logic as a Tool: A Guide to Formal Logical Reasoning
  • PDF
  • English
  • Year: 2016
  • Author: Valentin Goranko
Temporal Logic
  • PDF
  • English
  • Year: 2023
  • Author: Valentin Goranko
Lattices of intermediate and cylindric modal logics [PhD Thesis]
  • PDF
  • English
  • Year: 2006
  • Author: Nick Bezhanishvili
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Claudio Zandron (auth.), Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.)
Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Lev Beklemishev (auth.), Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada (eds.)
Logic and Discrete Mathematics: A Concise Introduction
  • PDF
  • English
  • Year: 2015
  • Author: Willem Conradie, Valentin Goranko
search