Rezultaty

Computation and automata od Salomaa, Arto

Introduction to languages and the theory of computation od Martin, John C.

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

Automata, computability and complexity theory and applications od Rich, Elaine

Models of computation an introduction to computability theory od Fernández, Maribel

Introduction to languages and the theory of computation od Martin, John C.

Proofs and computations od Schwichtenberg, Helmut 1942-

Table of contents only

Computability and logic od Boolos, George

Computability and logic od Boolos, George

Table of contents only

Mathematical logic and computability od Keisler, H. Jerome