Sciweavers

AISC
1998
Springer
14 years 4 months ago
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
Melvin Fitting