Reconstructing formal logic: Further developments and considerations.

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

formal logic
predicate logic
artificial intelligence
description logics
design theory
logic programming
formal methods
object oriented
information retrieval