Genres
- Programmation
- Mathematische Logik
- Langage algébrique
- Logique premier ordre
- Logique programme
- Computer programming
- Programmierung
- Logik
- Logique symbolique et mathématique
- Sémantique langage
- Symbolic and mathematical Logic
- Analyse programme
- Programmation (Informatique)
- Recursion theory
- Ordinateurs
- Récursivité, Théorie de la
- Logique formelle
- Logic, symbolic and mathematical
people already read
people are currently reading
people want to read
About the author
Editions
