From Insight to Proof - Festschrift in Honour of Andrzej Trybulec
ISBN 978-83-7431-128-1
Chiron: A Multi-Paradigm Logic (PDF)
Remarks on Non-Fregean Logic (PDF)
Some Logical Aspects of Mathematical Reasoning (PDF)
Jordan´s Proof of the Jordan Curve Theorem (PDF)
Some Remarks on The Language of Mathematical Texts (PDF)
Informal and Formal Representations in Mathematics (PDF)
Gradual Computerisation/Formalisation of Mathematical Texts into Mizar (PDF)
The QED Manifesto Revisited (PDF)
Automated Discovery of Inductive Theorems (PDF)
Formalizing Basic Complex Analysis (PDF)
On the Formalization of Lebesgue Integrals (PDF)
Computer-Assisted Reasoning about Algebraic Topology (PDF)
Evaluating Prospective Built-in Elements of Computer Algebra in Mizar (PDF)
Proving the Correctness of Functional Programs using Mizar (PDF)
A Verification for Redundant Signed Digit Adder Circuits (PDF)
Computer Supported Formal Work: Towards a Digital Mathematical Assistant (PDF)
Closing the Gap Between Formal and Digital Libraries of Mathematics (PDF)
Towards a Mizar Mathematical Library in OMDoc Format (PDF)
Isabelle/Isar – a Generic Framework for Human-Readable Proof Documents (PDF)
The Curious Inference of Boolos in Mizar and OMEGA (PDF)
Mizar Attributes: A Technique to Encode Mathematical Knowledge into Type Systems (PDF)
ISSN 0860-150X.
Articles are copyrighted by their respective authors.