Logic of Computation, Fachbücher von Helmut Schwichtenberg

Elementary Logic, Fachbücher von Robert Lover

Infinity in Logic and Computation, Fachbücher von Benedikt Löwe, Margaret Archibald, Vasco Brattka, Valentin F. Goranko

Logic for Learning, Fachbücher von John W. Lloyd

Logic: a Brief Course, Fachbücher von Daniele Mundici

Elements of Computation Theory, Fachbücher von Arindama Singh

The Nature of Computation: Logic, Algorithms, Applications, Fachbücher von Vasco Brattka, Benedikt Löwe, Paola Bonizzoni

Advances in Temporal Logic, Fachbücher von Michael Fisher, Dov M. Gabbay, Graham Gough, Howard Barringer

Logic, Language, Information and Computation, Fachbücher von Ruy De Queiroz, Hiroakira Ono, Makoto Kanazawa

Parallel and Distributed Logic Programming, Fachbücher von Amit Konar, Ajit K. Mandal, Alakananda Bhattacharya

Classical and New Paradigms of Computation and their Complexity Hierarchies, Fachbücher von Thoralf Räsch, Benedikt Löwe...

Theory and Applications of Models of Computation, Fachbücher von S. Barry Cooper, Jianer Chen

Mathematik für die Informatik, Fachbücher von Rudolf Berghammer

Theory and Applications of Models of Computation, Fachbücher von T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan

Logic and Integer Programming, Fachbücher von H. Paul Williams

An Introduction to Mathematical Logic and Type Theory, Fachbücher von Peter B. Andrews