Geahča maid: Computability and Logic /
- Constructivity and Computability in Historical and Philosophical Perspective /
- An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
- An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
- Logic for computer science : foundations of automatic theorem proving /
- Logic : the theory of formal inference /
- Elementary Logic /
Fáddá: Lógica Matemática
Fáddá: Funciones Recursivas
- Computability and Logic /
- Theory and Problems of Computer and Programming /
- Constructivity and Computability in Historical and Philosophical Perspective /
- Algorithms – ESA 2014 : 22nd Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : Proceedings /
- Applied Algorithms : First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014 : Proceedings /
- Artificial Evolution : 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21–23, 2013 : Revised Selected Papers /