S. S. Wainer : Recursion theory: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

Recursion theory käsittelee matemaattisen logiikan osa-aluetta, joka tutkii laskettavia operaatioita ja niiden yleisiä teorioita matematiikan näkökulmasta. Tämä kattava teos kokoaa yhteen alan viimeisimmät kehityssuunnat ja tutkimusnäkökulmat johtavien asiantuntijoiden kirjoittamina.

Kenelle: Sopii edistyneille matematiikan ja tietojenkäsittelytieteen tutkijoille.