Crush and Crash: Logic of a Terrible Tomorrow.

Theodor Holm Nelson

Published in: Commun. ACM (1997)

Keyphrases

logic programming
classical logic
epistemic logic
modal logic
predicate logic
dynamic logic
proof theory
database systems
neural network
formal theory
multi valued
asynchronous circuits
set theory
case study
website
learning algorithm
information retrieval