Home Advanced Search

Advanced Search - Page 1

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.)
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: Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe
The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)
Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
  • DJVU
  • English
  • Year: 2007
  • Author: Löwe, Benedikt (eds.)
Computability and Complexity in Analysis: 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
  • PDF
  • English
  • Year: 2001
  • Author: Jens Blanck (auth.), Jens Blanck, Vasco Brattka, Peter Hertling (eds.)
Computability and Complexity in Analysis: 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
  • PDF
  • English
  • Year: 2001
  • Author: Jens Blanck (auth.), Jens Blanck, Vasco Brattka, Peter Hertling (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.)
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
search