1-24 of 31 Books

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
By Hans Hermes

Discrete structures, logic, and computability
By James L. Hein

Computing Nature
By Gordana Dodig-Crnkovic,Raffaela Giovagnoli

Three Views of Logic
By Donald W. Loveland,Richard E. Hodel,S G Sterrett

Fundamentals of Computation Theory
By Lothar Budach

Introduction to Languages and the Theory of Computation
By John C. Martin

Foundations of computational mathematics
By Felipe Cucker,Michael Shub

Fundamentals of computation theory
By International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)

Logique et fondements de l'informatique
By Richard Lassaigne

Unsolvable classes of quantificational formulas
By Harry R. Lewis

Berechenbarkeit Komplexität Logik
By Egon Börger

Berechenbarkeit, Komplexität, Logik
By Egon Börger

Computing and combinatorics
By COCOON '98 (1998 Taipei, Taiwan)

Programs, proofs, processes
By Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)

Future Generation Information Technology
By Tai-hoon Kim

Fields of logic and computation
By Yuri Gurevich,Andreas Blass,Nachum Dershowitz,Wolfgang Reisig

Theory and applications of models of computation
By TAMC 2010 (2010 Prague, Czech Republic)

Nature Of Computation Logic Algorithms Applications
By Paola Bonizzoni