Program algebras of recursive functions

1996 
Contents §1. Introduction §2. Completeness §3. Maximal subalgebras §4. Modifications of the completeness problem §5. The structure of subalgebras §6. Congruence and automorphisms §7. Abstract computability in algebraic systems Bibliography
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    11
    References
    0
    Citations
    NaN
    KQI
    []