Mathematical foundations of programming.

Bibliografiset tiedot
Päätekijä:	Beckman, Frank S.
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Reading, MA Addison-Wesley 1980
Sarja:	The Systems programming serie
Aiheet:	Formal Languages. Logic, Symbolic and mathematical 0 > Machine theory.