Login / Signup
Review of "Introduction to languages, machines and logic: computable languages, abstract machines and formal logic" by Alan P. Parkes. Springer-Verlag 2002.
Robert McNaughton
Published in:
SIGACT News (2004)
Keyphrases
</>
formal logic
turing machine
expressive power
predicate logic
springer verlag
logic programming
low level
relation algebra
databases
high level
computer science
object oriented
co occurrence
description logics
higher level