Genres
- Computable functions
- Computer science
- Data structures (Computer science)
- Logic programming
- Logic, Symbolic and mathematical
- Mathematics
- Symbolic and mathematical Logic
- Traitement automatique des données
- Mathematische Logik
- Automatische bewijsvoering
- Berechenbarkeit
- Diskrete Mathematik
- Berekenbaarheid
- Logisch programmeren
- Computer science, mathematics
- Computer science--mathematics
- Qa76.9.m35
0
people already read
0
people are currently reading
8
people want to read
About the author
