Κανονική προβολή
Προβολή MARC
- Αυτόματος έλεγχος
Αυτόματος έλεγχος Μαθηματικά μοντέλα (Topical Term)
Machine generated authority record.
Work cat.: (GR-PaULI)15455: Loeckx, Jacques 1931- aut 26227, Computability and decidability, 1972