 |
|
|||||||||||||||||
Calculus ratiocinatorCalculus ratiocinator is Leibniz's term for a formal logical system, which did not exist in his lifetime. A completely formal, calculational form of logical inference is realized in modern developments of mathematical logic; see also proof theory. The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License.
How to see transparent copy 01-04-2007 01:21:04 |
|
