2 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Symbolic and mathematical Logic, Berechenbarkeit, Calcul lambda, Calcul propositionnel, Calculabilité, Complexite? de calcul (Informatique), Complétude, Computable functions, Computational complexity, Computer science, Déduction, First-order logic, Fonction récursive, Fonctions calculables, Fonctions récursives, Incomplétude, Indécidabilité, Informatique, Lambda calcul, Lambda calculus, Lambda-Kalkül, Lambda-calcul, Logic programming, Logic, symbolic and mathematical, LogikID Numbers
- OLID: OL3154531A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |