"Funkcje obliczalne informatyka." . . "Funciones calculables Informática." . . . . . . . . . . . . . . . "Pascal-computable functions. Recursive functions. Finite automata. Turing machines. Unsolvable problems. Epilog. Sets, functions, and induction. Propositional calculus. Pascal." . . "Computability with PASCAL"@en . "Computability with PASCAL" . . . . . . . . . . . . . . . "Computability with Pascal" . . . . . . . . . . . . . "Berechenbarkeit." . . "Funciones recursivas Informática." . . "Teoria de màquines." . . "PASCAL (Llenguatge de programació)" . . "PASCAL (Langage de programmation)" . . "Delillo, N.J." . . "Lógica matemática." . . "Fonctions récursives Informatique." . . "Fonctions récursives - Informatique." . "Pascal (język programowania)" . . "PASCAL (Programmiersprache)" . . "Pascal (Lenguaje de programación)" . . "Fonctions calculables Informatique." . . "Fonctions calculables - Informatique." . "Funkcje rekursywne informatyka." . . "Autòmats." . . . .