Meeting of the Association for Symbolic Logic.

Michael O. Rabin Michael D. Morley

Published in: J. Symb. Log. (1971)

Keyphrases

logic programming
classical logic
modal logic
high level
meeting room
proof theory
logical framework
predicate logic
set theory
symbolic description
connectionist models
dynamic logic
deontic logic
digital circuits
nonmonotonic logics
real time
multi valued
website
information systems
databases