The Inconsistency of Certain Formal Logic.

Haskell B. Curry

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

Keyphrases

formal logic
predicate logic
description logics
logic programming
design theory
formal methods
programming language