No. 2   -   S p r i n g   1 9 9 6   --   ISSN 1426-3513

u n i v e r s a l i s

In this Issue
Scope of this Journal   /   QED   /   Lvov-Warsaw School Centenary

To Title Page (Main Entry)

No. 2   Contents

  1. Editorial Introduction to this Issue to present its contents and to recall the anniversaries of Descartes and Leibniz.

  2. Formalized Mathematics - by John Harrison.

  3. An Approach of Formalizing Mathematics by Reformulations - by Manfred Kerber.

  4. A Browsable Format for Proof Presentation - by Jim Grundy.

  5. Two Leibniz's Legacies
    Their Implications Regarding Knowledge Engineering
    - by Witold Marciszewski.

  6. Comments on Logic from a Rhetorical Point of View
    - by Jan Wolenski (in dialogue with the Author).