Showing papers by "Arthur W. Burks published in 2002"

TL;DR: The interacting roles of truth-functional and memory logic with digital electronics are explained, together with the relation of these electronic computers to the theoretical calculating systems of Kurt Godel and Alan Turing.