The Free Online Dictionary of Computing (http://foldoc.doc.ic.ac.uk/) is edited by Denis Howe <dbh@doc.ic.ac.uk>.

Previous: intuitionistic probability    Next: invariant

intuitionist logic

<spelling> Incorrect term for "intuitionistic logic".

(1999-11-24)