CONTENTS OF THIS SITE       CALCULEMUS

The symposium, held on August 24, 1999, included the following papers.

• W. Marciszewski
  The two origins of modern logic: 1879, 1936

• Z. Adamowicz, P. Zbierski
  On complexity reduction of signa-one formulas

• A. Gomolińska
  A uniform framework for representing social actors and their interactions

• M. Krynicki
  Ambiguous quantifiers and zero-one laws

• D. Niwiński, A. Arnold
  The mi-calculus - an algebra of inductive definitions

• G. Malinowski
  Three faces of logical many-valuedness

• J. Woleński
  Metamathematical properties and `being formal'