External Links

    Journal: SIGACT News

    Volume 14, Issue 4

    38 -- 57Whitfield Diffie. Cryptographic technology: fifteen year forecast
    58 -- 69Dino Mandrioli. On teaching theoretical foundations of Computer Science
    70 -- 71John C. Cherniavsky. Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979
    72 -- 83. Research advance abstracts
    runs on