The Standard Logic of Z is Inconsistent (1998)

Cached

Download Links

by Martin C. Henson
Venue:Formal Aspects of Computing Journal
Citations:5 - 3 self