Myro writes:
"System G is really a rather
minor modification of a
standard Predicate Calculus
with identity (PCI) designed
to fulfil three desiderata".
Tuesday, July 13, 2010
Subscribe to:
Post Comments (Atom)
where scruples of Gricean lizards can lounge at ease.
No comments:
Post a Comment