Established and Edited by Witold Marciszewski
to Continue Logical Traditions of the WARSAW SCIENTIFIC SOCIETY
on behalf of the
POLISH ASSOCIATION FOR LOGIC AND PHILOSOPHY OF SCIENCE




MATHESIS
u n i v e r s a l i s

Table of Contents   Link to LogBank
CALCULEMUS
  Other Sites


SCIENCE-ORIENTED PHILOSOPHY
LOGIC AND INTELLIGENCE MECHANIZED DEDUCTION
in the
LEIBNIZIAN PERSPECTIVE

PUBLISHED  by  PHILOMATH